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

Priser

Medlemmer
Gratis
Ikke-medlemmer
Gratis
Alle priser er DKK og ekskl. moms
Online (Zoom)
Tilmeldingsfristen er desværre overskredet. Kontakt DigitalLead for tilmelding.

Tilmeldingsfrist

16. juni 2021 kl. 12:00

Afmeldingsfrist

16. juni 2021 kl. 12:00

Arrangører

  • 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