4
Publications
126
Citations
4
H-Index
2011
Active since
Matteo Avalle is an author at Polytechnic University of Turin specializing in formal verification, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceFormal VerificationSystems EngineeringData SecurityHardware SecuritySoftware AnalysisSoftware SecurityInformation SecuritySoftware Engineering
Publications per year
2011–2015
4
4
The Java SPI Framework for Security Protocol Implementation
Matteo Avalle, A. Pironti, Riccardo Sisto et al. · 2011 · 18 citations
Matteo Avalle, A. Pironti, Davide Pozza et al. · International Journal of Secure Software Engineering · 2011 · 16 citations
Security Modelling, Software Security, Security Protocol Implementations +13
Rows per page
1–4 of 4