Jekyll2026-10-05T23:28:41+02:00https://mads.uniud.it/news/feed.xmlMADS LabMADS — Methods for Autonomous and Dependable Systems — is a research laboratory of the Department of Mathematics, Computer Science and Physics at the University of Udine, working on software and system testing, cybersecurity and choreographic autonomous systems.KLAIM, Certified: a mechanised flow logic for tuple-space coordination2026-09-22T11:00:00+02:002026-09-22T11:00:00+02:00https://mads.uniud.it/2026/09/klaim-certified-jlampThe paper KLAIM, Certified: Mechanising Flow Logic for Tuple-Space Coordination, by Marino Miculan, has been published (open access) in the Journal of Logical and Algebraic Methods in Programming (Elsevier).

The accompanying mechanisation in the Rocq proof assistant is available on Zenodo.

]]>Policy Automata for Stateful Authorization at ICTCS 20262026-09-19T11:00:00+02:002026-09-19T11:00:00+02:00https://mads.uniud.it/2026/09/policy-automata-ictcs26From September 7th to 9th Udine hosted ICTCS 2026, the Italian Conference on Theoretical Computer Science, where we presented our paper Policy Automata for Stateful Authorization, by Massimiliano Baldo, Matteo Paier and Marino Miculan.

The paper is now published in the proceedings of the conference (CEUR-WS). [pdf]

]]>Matteo Paier defended his PhD thesis2026-09-14T11:00:00+02:002026-09-14T11:00:00+02:00https://mads.uniud.it/2026/09/paier-phdToday Matteo Paier successfully defended his PhD thesis, Fine-grained symbolic verification of heterogeneous systems, at IMT Lucca, receiving an excellent evaluation. The Commission was composed of professors Luca Viganò, Chiara Bodei and Gabriele Costa.

Matteo is now a PhD in Cybersecurity. Congratulations!

Matteo Paier at his PhD defence

]]>Security assessment of private package repositories at CERN2026-07-30T11:00:00+02:002026-07-30T11:00:00+02:00https://mads.uniud.it/2026/07/acc-py-cern-jsepOur paper Security Assessment of Private Package Repositories: An Experience on Acc-Py at CERN, by Michele Lizzit, Francesco Pinzauti, Marino Miculan and Vincenzo Riccio, has been published (open access) in the Journal of Software: Evolution and Process (Wiley), vol. 38, no. 8. [pdf]

The paper reports on a security assessment of Acc-Py, the private Python package repository used at CERN, and is a joint work of our Cybersecurity and Testing research areas.

]]>Lightweight encryption on 16-bit microcontrollers at SECRYPT 20262026-07-20T11:00:00+02:002026-07-20T11:00:00+02:00https://mads.uniud.it/2026/07/lightweight-encryption-secrypt26Our paper Experimental Evaluation of Lightweight Encryption Algorithms on 16-bit Microcontrollers, by Marino Miculan, Matteo Paier and Jacopo Plozner, has been published in the proceedings of SECRYPT 2026. [pdf]

]]>Strobilus: stateful policies for Cedar at SACMAT 20262026-07-08T11:00:00+02:002026-07-08T11:00:00+02:00https://mads.uniud.it/2026/07/strobilus-sacmat26Our paper Strobilus: Enriching Cedar with Stateful Policies, by Massimiliano Baldo, Pietro Di Gianantonio, Matteo Paier and Marino Miculan, has been published in the ACM Digital Library as part of the proceedings of SACMAT 2026, the ACM Symposium on Access Control Models and Technologies.

Strobilus extends the Cedar policy language with stateful policies. [pdf] [artifact]

]]>CyberChallenge.IT 2026: local award ceremony2026-06-09T11:00:00+02:002026-06-09T11:00:00+02:00https://mads.uniud.it/2026/06/cyberchallenge-2026Today, at Palazzo Antonini, we held the award ceremony for the local competition of CyberChallenge.IT 2026 at the University of Udine. CyberChallenge.IT is a national training programme for young talents aged 16 to 24, aimed at recruiting the next generation of cybersecurity professionals.

Congratulations to the top three:

  1. 🥇 Francesco Viciguerra, BSc in Computer Science, UniUD
  2. 🥈 Michele Ongaro, BSc in Computer Science, UniUD
  3. 🥉 Tommaso Sbrugnera, ISIS “Malignani” secondary school

Congratulations also to all the participants in this spring’s ethical hacking training at DMIF. They can now join MadrHacks, the Udine-based team of ethical hackers born out of these competitions and one of the top teams worldwide. Many thanks to the instructors and tutors, and to our sponsors karmasec and Danieli Automation.

At the national competition in Salerno (July 12–15) the University of Udine will be represented by Francesco Viciguerra, Michele Ongaro and Tommaso Sbrugnera, together with Francesco Graziano, Marco Del Pio Luogo and Lorenzo Bonotto, with Xhulia Palaj as reserve. More on Qui.uniud.

Go MadrHacks go! 🐍 Sicut Serpentes!

]]>Formal verification of eIDAS multi-factor authentication in SoSyM2026-05-18T11:00:00+02:002026-05-18T11:00:00+02:00https://mads.uniud.it/2026/05/eidas-mfa-sosymOur paper Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis, by Matteo Paier, Roberto Van Eeden and Marino Miculan, has been published in Software and Systems Modeling (Springer).

The paper extends our previous work on the formal analysis of multi-factor authentication in digital identity cards, which received the Best Paper Award at SEFM 2024.

]]>TYPES 2027 will take place in Udine!2026-05-04T11:00:00+02:002026-05-04T11:00:00+02:00https://mads.uniud.it/2026/05/types-2027-udineAt TYPES 2026 in Gothenburg it has been announced that the next edition, TYPES 2027, will take place in Udine, organised by our lab.

TYPES is the oldest conference on all aspects of type theory and its applications, and the lab has a long tradition in this community: Udine already hosted TYPES 2007 in Cividale del Friuli. Marino Miculan has also joined the Steering Committee of the conference. Stay tuned for the call for contributions!

]]>Two papers at ITASEC & SERICS 20262026-04-24T11:00:00+02:002026-04-24T11:00:00+02:00https://mads.uniud.it/2026/04/itasec26-papersOur two papers presented at the Joint National Conference on Cybersecurity (ITASEC & SERICS) 2026 in Cagliari are now published in the proceedings (CEUR-WS, vol. 4198):

  • SA-SOINN: A Self-Adaptive Neural Network for Continuous Intrusion Detection in Dynamic Environments, by D. G. Ejeh, G. L. Foresti, M. Miculan and A. De Nardin. [pdf]
  • Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling, by C. Coppo, F. Longo, G. Merlino, A. Puliafito and M. Miculan. [pdf]
]]>