Archivio Istituzionale della RicercaPIRONTI, ALFREDO
PIRONTI, ALFREDO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018646
Progress and innovations in the TCV tokamak research programme
2026 Theiler, C.; Adamek, J.; Agostini, M.; Albert, C.; Alberti, S.; Alberti, G.; Aleiferis, S.; Alessi, E.; Anastassiou, G.; Andrèbe, Y.; Antonenas, Y.; Apruzzese, G. M.; Aucone, L.; Auriemma, F.; Ayllon-Guerola, J.; Aymerich, E.; Bagnato, F.; Bairaktaris, F.; Balestri, A.; Ball, J.; Balugani, S.; Baquero-Ruiz, M.; Bardsley, O.; Battey, A. F.; Bauer, T.; Bechtle, S.; Bernert, M.; Bin, W.; Blanchard, P.; Boedo, J.; Bolzonella, T.; Bonalumi, L.; Bonisolli, M.; Bosman, T.; Bouffet-Klein, R.; Boyer, M. D.; Bramucci, L.; Braunmüller, F.; Breizman, B. N.; Brida, D.; Brown, B.; Brunner, S.; Buchli, J.; Buermans, J.; Busi, D.; Camenen, Y.; Cardinali, A.; Carli, S.; Carnevale, D.; Carpanese, F.; Carpita, M.; Casolari, A.; Castaldo, C.; Cavedon, M.; Cazabonne, J.; Cerovsky, J.; Chapman-Oplopoiou, B.; Chellai, O.; Chervonyi, Y.; Chlum, J.; Chmielewski, P.; Chomiczewska, A.; Cicioni, R.; Ciraolo, G.; Classen, I.; Clod, A.; Coda, S.; Colandrea, C.; Contré, C. E.; Coosemans, R.; Cordaro, L.; Cornelissen, M.; Craciunescu, T.; Cruz Zabala, D. J.; Czarski, M.; Davies, I.; Dawson, C.; De Tommasi, G.; De Vylder, B.; Decker, J.; Derks, G. L.; Devlaminck, E.; Di Giannatale, G.; Di Grazia, L. E.; Ding, R.; Donner, C.; Dreval, M.; Dritselis, C.; Dubbioso, S.; Ducker, R.; Dunne, M.; Durr-Legoupil-Nicoud, G.; Duval, B. P.; Édes, L.; Ernst, S.; Faitsch, M.; Fan, C.; Fasoli, A.; Fedorczak, N.; Felici, F.; Ferron, N.; Ficker, O.; Figini, L.; Figueiredo, P.; Frank, A.; Frassinetti, L.; Frattolillo, D.; Frigione, D.; Furno, I.; Février, O.; Galassi, D.; Galdon-Quiroga, J.; Galeani, S.; Galperti, C.; Gambrioli, M.; Garavaglia, S.; Garcia Herreros, S.; Garcia Munoz, M.; Gaudio, P.; Gelfusa, M.; Genoud, J.; Gerasimov, S.; Gil, L.; Giroud, C.; Giroud-Garampon, P.; Gobbin, M.; Golfinopoulos, T.; Goodman, T. P.; Gorno, S.; Grandin, M.; Granucci, G.; Graziano, F.; Griener, M.; Grzybicka, N.; Guinchard, S.; Hafner, R.; Hakola, A.; Halldestam, P.; Ham, C.; Hamel, Ph.; Hamm, D.; Heinrich, P.; Heiß, C.; Henderson, S.; Hennequin, P.; Hogge, J. -P.; Hojlund, R.; Honoré, C.; Hoppe, M.; Horacek, J.; Huett, E.; Innocente, P.; Ivanov, P.; Ivanov, V.; Jackson, T.; Jansen Van Vuuren, A.; Jardin, A.; Jaspers, R.; Jaulmes, F.; Jensen, T.; Jimenez Comez, M.; Joffrin, E.; Kabirov, D.; Karpushov, A. N.; Kasilov, S.; Kazakov, Y.; Kerboua-Benlarbi, S.; Khan, A.; King, D.; Kirjasuo, A.; Kivits, E. M. M.; Kobussen, S.; Koenders, J. T. W.; Kohli, P.; Kolsen De Wit, J.; Kominis, Y.; Kong, M.; Kool, B.; Kovacic, J.; Kropackova, D.; Krutkin, O.; Kumar, U.; Kwiatkowski, R.; La Matina, M.; Labit, B.; Lafay, A.; Laporta, V.; Lazic, N.; Lee, K.; Lengyel, F.; Lim, K.; Linehan, B.; Listopad, A.; Lobko, L.; Lonigro, N.; Lunt, T.; Mackenbach, R.; Macusova, E.; Maget, P.; Malec, S.; Mancini, D.; Mantica, P.; Marchetto, C.; Marchioni, S.; Mariani, A.; Marin, M.; Marinoni, A.; Markl, M.; Martin, Y.; Martinelli, L.; Masillo, S.; Masocco, R.; Masson, V.; Mattei, M.; Mattogno, S.; Mazon, D.; Mazzi, S.; Mele, A.; Menkovski, V.; Merle, A.; Michi, A.; Mirowski, R.; Misdanitis, S.; Mishra, R.; Moiraf, D.; Molina-Cabrera, P. A.; Molisani, S.; Mombelli, F.; Morgan, R. I.; Moro, A.; Murari, A.; Murray, K.; Muscente, P.; Muzio, I.; Mykytchuk, D.; Nakeva, Y.; Napoli, F.; Nielsen, A. H.; Nielsen, S. K.; Norman, T.; Nowak, S.; Nyström, H.; Ochoukov, R.; Orduna-Martinez, A.; Orlandi, L.; Orrico, C.; Orsitto, F. P.; Osawa, R.; Osborne, N.; Oyola, P.; Paduaru, C.; Pajares, A.; Palade, D. I.; Pan, O.; Panico, O.; Papagiannis, P.; Passoni, M.; Pastore, F.; Patel, A.; Pau, A.; Paz-Soldan, C.; Pedersen, A. C.; Pedrini, M.; Pelka, G.; Perek, A.; Peres Asnis, Y.; Perillo, R.; Pesamosca, F.; Petersen, K.; Pigatto, L.; Piron, C.; Piron, L.; Pironti, A.; Plyusnin, V.; Podesta, M.; Poels, Y.; Pokol, G. I.; Poley, J.; Pomârjanschi, L.; Poradzinski, M.; Porte, L.; Possieri, C.; Puentes Del Pozo, F.; Pueschel, M. J.; Quadri, V.; Rabinski, M.; Ragona, R.; Ratta, G. A.; Rea, C.; Reimerdes, H.; Reisner, M.; Reux, C.; Ricci, D.; Ricci, P.; Riedmiller, M.; Rienäcker, S.; Rispoli, N.; Rivero-Rodriguez, J. F.; Rizkallah, R.; Rodriguez Gonzalez, A.; Romano, F.; Rossi, R.; Rud, M.; Sales De Oliveira, D.; Salewski, M.; Salmi, A.; Sauter, O.; S Schmidt, Bo; Schoonheere, N.; Schutjes, K.; Scotti, L.; Senni, L.; Senstius, M. G.; Setzu, S.; Sharapov, S. E.; Sheikh, U. A.; Sias, G.; Silva Füglister, M.; Silvagni, D.; Simonetto, A.; Simons, L.; Singh, L.; Singh, K.; Sintre, P.; Sipilä, S.; So, O.; Sommariva, C.; Sozzi, C.; Spagnolo, S.; Stagni, A.; Stollberg, C.; Subba, F.; Sun, G.; Sun, H.; Svantner, J.; Tala, T.; Tamain, P.; Tanaka, K.; Tang, W.; Tema Biwole, A.; Tenaglia, A.; Terranova, D.; Testa, D.; Thome, K. E.; Thrysoe, A.; Tomes, M.; Tonello, E.; Topalova, M. A.; Tracey, B.; Tsitrone, E.; Tsui, C. K.; Tumbokon, J.; Tunkl, M.; Ugoletti, M.; Valentini, A.; Vallar, M.; Van Berkel, M.; Van Leeuwen, L.; Van Mulders, S.; Van Parys, G.; Van Rossem, M.; Venturini, C.; Verhaegh, K.; Vermare, L.; Vianello, N.; Viezzer, E.; Villard, L.; Vincent, B.; Vincent, C.; Vincenzi, P.; Vinklárek, J.; Voitsekhovitch, I.; Votta, L.; Vu, N. M. T.; Wang, A.; Wang, C.; Wang, Y.; Wendler, N.; Westerhof, E.; Wiesen, S.; Wijkamp, T.; Winkel, M.; Wüthrich, C.; Wyss, I.; Xiang, L.; Xu, G.; Yang, H.; Zebrowski, J.; Zestanakis, P. A.; Zhang, H.; Zimmermann, C. F. B.; Zuin, M.; Zurita, M.
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 |
|---|---|---|---|
| Progress and innovations in the TCV tokamak research programme / Theiler, C., Adamek, J., Agostini, M., Albert, C., Alberti, S., Alberti, G., Aleiferis, S., Alessi, E., Anastassiou, G., Andrèbe, Y., Antonenas, Y., Apruzzese, G.M., Aucone, L., Auriemma, F., Ayllon-Guerola, J., Aymerich, E., Bagnato, F., Bairaktaris, F., Balestri, A., Ball, J., et al.. - In: NUCLEAR FUSION. - ISSN 0029-5515. - 66:11(2026). [10.1088/1741-4326/ae6d12] | 1-gen-2026 | Agostini, M.Ball, J.Bin, W.Busi, D.Carli, S.Carnevale, D.Colandrea, C.Davies, I.Di Giannatale, G.Fan, C.Galassi, D.Lee, K.Mancini, D.Marchetto, C.Marin, M.Martinelli, L.Molisani, S.Muzio, I.Nowak, S.Orrico, C.Pironti, A.Possieri, C.Ragona, R.Salmi, A.Spagnolo, S.Subba, F.Tema Biwole, A.Terranova, D.Venturini, C.Vianello, N.Xiang, L. + | - |
| 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., et al.. - (2019). (46th European Physical Society Conference on Plasma Physics, EPS 2019 University of Milano - Bicocca, Piazza dell'Ateneo Nuovo, 1, ita 2019). | 1-gen-2019 | Martin P.Martone R.Pironti A.Subba F. + | - |
| Formal Verification of Security Protocol Implementations: A Survey / Avalle, M.C., Pironti, A., Sisto, R.. - 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, A., Sisto, R.. - 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, A., Pozza, D., Sisto, R.. - 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, P., Pironti, A., Pozza, D., Sisto, R., Vivoli, P.. - STAMPA. - (2012), pp. 62-65. (14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) Omaha, Nebraska 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, A., Pozza, D., Sisto, R. - 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, A., Sisto, R.. - 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, M.C., Pironti, A., Pozza, D., Sisto, R.. - 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, M.C., Pironti, A., Sisto, R., Pozza, D.. - STAMPA. - (2011), pp. 746-751. (Sixth International Conference on Availability, Reliability and Security (ARES) Vienna (Austria) 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, A., 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, A., Sisto, R.. - 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, A., Sisto, R.. - STAMPA. - (2008), pp. 241-250. (High Assurance Systems Engineering Symposium (HASE 2008) Nanjing, China 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, A., Sisto, R.. - (2008), pp. 31-38. (International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008) Szklarska Poręba (Poland ) 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, A., Sisto, R.. - STAMPA. - (2008), pp. 72-79. (International Conference on Availability, Reliability and Security (ARES 08) Barcelona, Spain 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, A., Sisto, R.. - STAMPA. - (2007), pp. 839-844. (IEEE Symposium on Computers and Communications (ISCC 07) Aveiro, Portugal 1-4 July 2007) [10.1109/ISCC.2007.4381508]. | 1-gen-2007 | PIRONTI, ALFREDOSISTO, Riccardo | iscc07_author_postprint.pdf |