Publications of SecInt students


A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura:
"Distribution Estimation for Probabilistic Loops";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022).


A. Kofnov, M. Moosbrugger, S. Stankovic, E. Bartocci, E. Bura:
"Moment-based Invariants for Probabilistic Loops with non-polynomial assignments";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022).
More information


P. Indri, A. Bartoli, E. Medvet, L. Nenzi:
"One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems";
in: "EuroGP 2022: Proceedings of the 25th European Conference on Genetic Programming", 20-22 , April; Springer-Verlag, Madrid, Spain, 2022, 32 - 47.
More information


A. De Coster, N. Musliu, A. Schaerf, J. Schoisswohl, K. Smith-Miles:
"Algorithm selection and instance space analysis for curriculum-based course timetabling";
Journal of Scheduling, 26 (2021), 4; 1 - 24.
More information


M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs:
"Automated Termination Analysis of Polynomial Probabilistic Programs";
Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518.
More information


J. Schoisswohl:
"Automated induction by reflection";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-01-11.
More information


J. Schoisswohl, L. Kovacs:
"Automating Induction by Reflection";
Talk: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Pittsburgh, USA; 2021-07-16; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)", E. Pimentel, E. Tassi (ed.); EPTCS, 337 (2021), 39 - 54.
More information


M. Hajdu:
"Automating inductive reasoning with recursive functions";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-03-25.
More information


M. Squarcina, M. Tempesta, L. Veronese, S. Calzavara, M. Maffei:
"Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web";
Talk: 30th USENIX Security Symposium, Online; 2021-08-11 - 2021-08-13; in: "30th USENIX Security Symposium", 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, (2021), 2917 - 2934.
More information


C. Bodei, L. Ceragioli, P. Degano, R. Focardi, L. Galletta, F. Luccio, M. Tempesta, L. Veronese:
"FWS: Analyzing, Maintaining and Transcompiling Firewalls";
Journal of Computer Security, 29 (2021), 1; 77 - 134.
More information


M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov:
"Induction with Recursive Definitions in Superposition";
Talk: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, New Haven, Connecticut, USA; 2021-10-19 - 2021-10-22; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)", R. Piskac, M. Wahlen (ed.); TU Wien Academic Press, 2 (2021), ISBN: 978-3-85448-046-4; 1 - 10.
More information


M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov:
"Inductive Benchmarks for Automated Reasoning";
Talk: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Timisoara, Romania; 2021-07-26 - 2021-07-31; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)", F. Kamareddine, C. Sacerdoti Coen (ed.); Springer LNCS, 12833 (2021), 124 - 129.
More information


E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
"Mining Shape Expressions with ShapeIt";
Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 110 - 117.
More information


N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs:
"Summing Up Smart Transitions";
Talk: 33rd International Conference on Computer Aided Verification (CAV), Los Angeles, US; 2021-07-20 - 2021-07-23; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)", A. Silva, R. Leino (ed.); Springer LNCS, 12759 (2021), 317 - 340.
More information


M. Moosbrugger:
"Automating Termination Analysis of Probabilistic Programs";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-23.


L. Veronese, S. Calzavara, L. Compagna:
"Bulwark: Holistic and Verified Security Monitoring of Web Protocols";
Talk: European Symposium on Research in Computer Security (ESORICS), Guildford, United Kingdom; 2020-09-14 - 2020-09-18; in: "ESORICS 2020: Computer Security", Springer, Lecture Notes in Computer Science, vol 12308 (2020), ISBN: 978-3-030-58950-9; 23 - 41.
More information


S. Rain:
"First-Order Reasoning with Aggregates";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-18.


M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov:
"Induction with Generalization in Superposition Reasoning";
Talk: Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Italy; 2020-07-26 - 2020-07-31; in: "Proceedings of the 13th International Conference on Intelligent Computer Mathematics", Lecture Notes in Computer Science, Springer, 12236 (2020), ISBN: 978-0-9835678-9-9; 123 - 137.
More information


A. Saha, T. Denning, V. Srikumar, S.K. Kasera:
"Secrets in Source Code: Reducing False Positives using Machine Learning";
in: "2020 International Conference on COMmunication Systems & NETworkS (COMSNETS)", IEEE Xplore Digital Library, 2020, ISBN: 978-1-7281-3187-0, 168 - 175.
More information


M. Tempesta, C. Bodei, P. Degano, R. Forcardi, L. Galletta, L. Veronese:
"Firewall Management With FireWall Synthesizer";
in: "keiner", issued by: Italian Conference on CyberSecurity (ITASEC); ITASEC, 2018, 1 pages.
More information


C. Bodei, P. Degano, L. Galletta, R. Focardi, M. Tempesta, L. Veronese:
"Language-Independent Synthesis of Firewall Policies";
in: "2018 IEEE European Symposium on Security and Privacy (EuroS&P 2018)", issued by: Institute of Electrical and Electronics Engineers ( IEEE ); IEEE, 2018, ISBN: 978-1-5386-4228-3, 92 - 106.
More information