Security by Design with Formal Methods - DigitalDays Event

Security by Design is a software development approach that integrates security tactics and patterns from the beginning of software design to build security into the system from the ground up. This talk will provide a high-level introduction to Formal Methods, a host of mathematically sound techniques and tools that can support the design and development of secure systems, and their adoption in industry.

Industrial case TBA

Del på LinkedIn
17. juni 2021
Kl. 09:00 - 10:00


Alle priser er DKK og ekskl. moms
Tilmeldingsfristen er desværre overskredet. Kontakt DigitalLead for tilmelding.


16. juni 2021 kl. 00:00


16. juni 2021 kl. 00:00


  • DigitalLead

Marco Peressotti is an Assistant Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Southern Denmark, Section of Artificial Intelligence, Cybersecurity, and Programming Languages. Marco is event coordinator for the Microservices Community an international community of professionals and researchers interested in the software paradigm of Microservices. 

LinkedIn logo Marco Peressotti

Marco Peressotti

Associate Professor, SDU

Relaterede events