Author:
Busi Matteo,Degano Pierpaolo,Galletta Letterio
Funder
University of Pisa
Ministry of Education University and Research
Reference45 articles.
1. Secrecy by typing in security protocols;Abadi;J. ACM,1999
2. A calculus for cryptographic protocols: the spi calculus;Abadi;Inf. Comput.,1999
3. Incremental polymorphism;Aditya,1991
4. Reviser: efficiently updating ide-/ifds-based data-flow analyses in response to incremental program changes;Arzt,2014