Archivio Istituzionale della RicercaPIRONTI, ALFREDO
PIRONTI, ALFREDO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018646
Mostra
records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.029 secondi).
The new divertor tokamak test facility
2019 Albanese, R.; Ambrosino, R.; Baruzzo, M.; Bolzonella, T.; Carlevaro, N.; Crisanti, F.; Di Gironimo, G.; Di Zenobio, A.; Falessi, M.; Gobbin, M.; Granucci, G.; Innocente, P.; Mantica, P.; Martin, P.; Martone, R.; Mazzitelli, G.; Pigatto, L.; Pironti, A.; Pizzuto, A.; Polli, G.; Ramogida, G.; Rubino, G.; Spizzo, G.; Subba, F.; Tuccillo, A.; Valisa, M.; Vallar, M.; Vianello, N.; Villari, R.; Vincenzi, P.; Vlad, G.; Zonca, F.
Formal Verification of Security Protocol Implementations: A Survey
2014 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo
Safe abstractions of data encodings in formal security protocol models
2014 Pironti, Alfredo; Sisto, Riccardo
Formally based semi-automatic implementation of an open security protocol
2012 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Visual Model-Driven Design, Verification and Implementation of Security Protocols
2012 BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro
Automated Formal Methods for Security Protocol Engineering
2011 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 Cheminod, M.; Pironti, Alfredo; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
The JavaSPI Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide
Formally-Based Black-Box Monitoring of Security Protocols
2010 Pironti, Alfredo; Jürjens, J.
Provably correct Java implementations of Spi Calculus security protocols specifications
2010 Pironti, Alfredo; Sisto, Riccardo
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code
2008 Pironti, Alfredo; Sisto, Riccardo
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models
2008 Pironti, Alfredo; Sisto, Riccardo
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models
2008 Pironti, Alfredo; Sisto, Riccardo
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
2007 Pironti, Alfredo; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| The new divertor tokamak test facility / Albanese, R.; Ambrosino, R.; Baruzzo, M.; Bolzonella, T.; Carlevaro, N.; Crisanti, F.; Di Gironimo, G.; Di Zenobio, A.; Falessi, M.; Gobbin, M.; Granucci, G.; Innocente, P.; Mantica, P.; Martin, P.; Martone, R.; Mazzitelli, G.; Pigatto, L.; Pironti, A.; Pizzuto, A.; Polli, G.; Ramogida, G.; Rubino, G.; Spizzo, G.; Subba, F.; Tuccillo, A.; Valisa, M.; Vallar, M.; Vianello, N.; Villari, R.; Vincenzi, P.; Vlad, G.; Zonca, F.. - (2019). (Intervento presentato al convegno 46th European Physical Society Conference on Plasma Physics, EPS 2019 tenutosi a University of Milano - Bicocca, Piazza dell'Ateneo Nuovo, 1, ita nel 2019). | 1-gen-2019 | Martin P.Martone R.Pironti A.Subba F. + | - |
| Formal Verification of Security Protocol Implementations: A Survey / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 26:1(2014), pp. 99-123. [10.1007/s00165-012-0269-9] | 1-gen-2014 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, Riccardo | article.pdf |
| Safe abstractions of data encodings in formal security protocol models / Pironti, Alfredo; Sisto, Riccardo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 26:1(2014), pp. 125-167. [10.1007/s00165-012-0267-y] | 1-gen-2014 | PIRONTI, ALFREDOSISTO, Riccardo | article.pdf |
| Formally based semi-automatic implementation of an open security protocol / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 85:4(2012), pp. 835-849. [10.1016/j.jss.2011.10.052] | 1-gen-2012 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | jss2011_postprint.pdf |
| Visual Model-Driven Design, Verification and Implementation of Security Protocols / BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro. - STAMPA. - (2012), pp. 62-65. (Intervento presentato al convegno 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) tenutosi a Omaha, Nebraska nel October 25-27, 2012) [10.1109/HASE.2012.23]. | 1-gen-2012 | BETTASSA COPET, PIERGIUSEPPEPIRONTI, ALFREDOPOZZA, DAVIDESISTO, RiccardoVIVOLI, PIETRO | hase2012_porto.pdf; Visual_model-driven_design_verification_and_implementation_of_security_protocols.pdf |
| Automated Formal Methods for Security Protocol Engineering / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo - In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A.. - STAMPA. - Hershey PA : IGI Global, 2011. - ISBN 9781609608514. - pp. 138-166 [10.4018/978-1-60960-851-4.ch008] | 1-gen-2011 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |
| Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access / Cheminod, M.; Pironti, Alfredo; Sisto, Riccardo. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 7(1):(2011), pp. 30-40. [10.1109/TII.2010.2099233] | 1-gen-2011 | PIRONTI, ALFREDOSISTO, Riccardo + | main.pdf |
| JavaSPI: A Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING. - ISSN 1947-3036. - STAMPA. - 2:4(2011), pp. 34-48. [10.4018/jsse.2011100103] | 1-gen-2011 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |
| The JavaSPI Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide. - STAMPA. - (2011), pp. 746-751. (Intervento presentato al convegno Sixth International Conference on Availability, Reliability and Security (ARES) tenutosi a Vienna (Austria) nel 22-26 Aug. 2011) [10.1109/ARES.2011.117]. | 1-gen-2011 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, RiccardoPOZZA, DAVIDE | ares2011_author_postprint.pdf; The_Java_SPI_Framework_for_Security_Protocol_Implementation.pdf |
| Formally-Based Black-Box Monitoring of Security Protocols / Pironti, Alfredo; Jürjens, J.. - 5965/2010:(2010), pp. 79-95. [10.1007/978-3-642-11747-3_7] | 1-gen-2010 | PIRONTI, ALFREDO + | - |
| Provably correct Java implementations of Spi Calculus security protocols specifications / Pironti, Alfredo; Sisto, Riccardo. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - STAMPA. - 29(3):3(2010), pp. 302-314. [10.1016/j.cose.2009.08.001] | 1-gen-2010 | PIRONTI, ALFREDOSISTO, Riccardo | cose2009_author_postprint.pdf |
| Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2008), pp. 241-250. (Intervento presentato al convegno High Assurance Systems Engineering Symposium (HASE 2008) tenutosi a Nanjing, China nel 3-5 December 2008) [10.1109/HASE.2008.27]. | 1-gen-2008 | PIRONTI, ALFREDOSISTO, Riccardo | 1868524.pdf; Formally_Sound_Refinement_of_Spi_Calculus_Protocol_Specifications_into_Java_Code.pdf |
| Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models / Pironti, Alfredo; Sisto, Riccardo. - (2008), pp. 31-38. (Intervento presentato al convegno International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008) tenutosi a Szklarska Poręba (Poland ) nel 26–28 June 2008) [10.1109/DepCoS-RELCOMEX.2008.34]. | 1-gen-2008 | PIRONTI, ALFREDOSISTO, Riccardo | Soundness_Conditions_for_Cryptographic_Algorithms_and_Parameters_Abstractions_in_Formal_Security_Protocol_Models.pdf |
| Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2008), pp. 72-79. (Intervento presentato al convegno International Conference on Availability, Reliability and Security (ARES 08) tenutosi a Barcelona, Spain nel 4-7 March 2008) [10.1109/ARES.2008.30]. | 1-gen-2008 | PIRONTI, ALFREDOSISTO, Riccardo | Soundness_Conditions_for_Message_Encoding_Abstractions_in_Formal_Security_Protocol_Models.pdf |
| An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2007), pp. 839-844. (Intervento presentato al convegno IEEE Symposium on Computers and Communications (ISCC 07) tenutosi a Aveiro, Portugal nel 1-4 July 2007) [10.1109/ISCC.2007.4381508]. | 1-gen-2007 | PIRONTI, ALFREDOSISTO, Riccardo | iscc07_author_postprint.pdf |