I agree that this site is using cookies. You can find further informations here.
X
Focardi, Matteo
9  results:
Bookchapter (Online) X
Search for persons X
?
1

Quasi-Monotonicity Formulas for Classical Obstacle Problems..:

, In: Advances in Mechanics and Mathematics; Variational Views in Mechanics,
Focardi, Matteo ; Geraci, Francesco ; Spadaro, Emanuele - p. 185-203 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Introduction:

, In: Geometric Measure Theory and Free Boundary Problems; Lecture Notes in Mathematics,
Focardi, Matteo ; Spadaro, Emanuele - p. 1-3 , 2020
Link: https://doi.org/10.1007/..
 
?
3

A Recipe for Cost-Effective Secure IoT: the Safe Place Proj..:

, In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR),
Palmarini, Francesco ; Veronese, Leonardo ; Busi, Matteo.. - p. 99-104 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Language-Based Web Session Integrity:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Calzavara, Stefano ; Focardi, Riccardo ; Grimm, Niklas.. - p. 107-122 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Attacking and fixing PKCS#11 security tokens:

, In: Proceedings of the 17th ACM conference on Computer and communications security,
Bortolozzo, Matteo ; Centenaro, Matteo ; Focardi, Riccardo. - p. 260-269 , 2010
Link: https://dl.acm.org/doi/1..
 
?
6

Information flow security of multi-threaded distributed pro..:

, In: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security,
Focardi, Riccardo ; Centenaro, Matteo - p. 113-124 , 2008
Link: https://dl.acm.org/doi/1..
 
?
7

A calculus of challenges and responses:

, In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering,
Backes, Michael ; Cortesi, Agostino ; Focardi, Riccardo. - p. 51-60 , 2007
Link: https://dl.acm.org/doi/1..
 
?
8

Inferring authentication tags:

, In: Proceedings of the 2005 workshop on Issues in the theory of security,
Focardi, Riccardo ; Maffei, Matteo ; Placella, Francesco - p. 41-49 , 2005
Link: https://dl.acm.org/doi/1..
 
?
9

Authenticity by tagging and typing:

, In: Proceedings of the 2004 ACM workshop on Formal methods in security engineering,
Bugliesi, Michele ; Focardi, Riccardo ; Maffei, Matteo - p. 1-12 , 2004
Link: https://dl.acm.org/doi/1..
 
1-9