| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links  |
|
|
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Formal Models of Timing Attacks on Web Privacy |
2002 |
Electronic Notes in Theoretical Computer Science |
|
|
|
10.1016/S1571-0661(04)00329-9 |
62 |
229-243 |
|
|
|
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro |
A Type Inference Algorithm for Secure Ambients |
2002 |
Electronic Notes in Theoretical Computer Science |
Elsevier |
|
|
10.1016/S1571-0661(04)00321-4 |
62 |
83-101 |
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Analysis of the NRL Pump |
2004 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/j.entcs.2004.02.011 |
99 |
245-266 |
|
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00106-9 |
160 |
185-216 |
|
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00105-0 |
160 |
145-184 |
|
|
|
Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Automated analysis of timed security: a case study on web privacy |
2004 |
International Journal of Information Security |
|
|
|
10.1007/s10207-004-0037-9 |
2 |
168-186 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier |
2006 |
Int. J. Softw. Tools Technol. Transf. |
Springer-Verlag |
1433-2779 |
|
10.1007/s10009-005-0216-7 |
8 |
397-409 |
|
|
|
Tronci, Enrico |
Introductory Paper |
2006 |
Sttt |
|
|
|
10.1007/s10009-005-0212-y |
8 |
355-358 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems |
2004 |
Sttt |
|
|
|
10.1007/s10009-004-0149-6 |
6 |
320-341 |
|
|
|
Bucciarelli, Antonio; Salvo, Ivano |
Totality, Definability and Boolean Circuits |
1998 |
|
Springer |
|
|
10.1007/BFb0055104 |
1443 |
808-819 |
|
