Giancarlo Pellegrino

Giancarlo Pellegrino

Home
Research
Research group Publications Scienceware
Teaching
Open Positions
Internships/Assistants/Theses

Alessio Merlo

Latest

From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

Data Privacy Policy | This website has SuperTrouge powers | Old link: Vulnerability reports!

Cite