Stelvio Cimato

122 papers A* 2A 1B 11C 15Misc 10Journal 33Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A bag of words model for efficient discovery of roles in access control systems. Comput. Secur. Carlo Blundo, Stelvio Cimato
2026	J	`jnl`	Deal out oblivious correlations: 2-depth HSS circuit for silent V-OLE generation. IACR Cryptol. ePrint Arch. Davide Cerutti, Stelvio Cimato
2025	B	`ed.`	49th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2025, Toronto, ON, Canada, July 8-11, 2025 COMPSAC Hossain Shahriar, Kazi Shafiul Alam, Hiroyuki Ohsaki, Stelvio Cimato, Miriam A. M. Capretz, Shamem Ahmed, Sheikh Iqbal Ahamed, AKM Jahangir Alam Majumder, Munirul Haque, Tomoki Yoshihisa, Alfredo Cuzzocrea, Michiharu Takemoto, Nazmus Sakib, Marwa Elsayed
2025	B	`conf`	A Framework for Secure Sharing of Medical Images Based on Visual Cryptography. COMPSAC Christian Coduri, Stelvio Cimato
2025	B	`conf`	A State Channel Based Approach to Address Scalability of Healthcare Data Sharing. COMPSAC Jahanzeb Shahid, Stelvio Cimato
2025	C	`conf`	AvaDrive: A Blockchain Based Framework for Efficient Vehicle-to-Grid Management Aurora Guaresi. DLT Aurora Guaresi, Chiara Braghin, Stelvio Cimato
2025	B	`conf`	Blockchain in the Quantum Era: Surveying Security Challenges and Post-Quantum Cryptography. COMPSAC Muhammad Taha Ramzan, Stelvio Cimato
2025	J	`jnl`	Google Map-Based Password Authentication Systems Using Tolerant Distance and Homomorphic Encryption. IEEE Trans. Dependable Secur. Comput. Zhili Zhou, Ching-Nung Yang, Shaowei Wang, Guoshun Nan, Stelvio Cimato, Yifeng Zheng, Qian Wang
2024	B	`conf`	A Sharded Blockchain Architecture for Healthcare Data. COMPSAC Jahanzeb Shahid, Stelvio Cimato, Muhammad Zia
2024	C	`conf`	Efficient Secure Computation of Edit Distance on Genomic Data. ICISSP Andrea Migliore, Stelvio Cimato, Gabriella Trucco
2024	J	`jnl`	Special Section Guest Editorial: Real-Time Image Steganography and Steganalysis. J. Electronic Imaging Shi Dong, Stelvio Cimato, Joarder Kamruzzaman, Yongsheng Hao
2023	J	`jnl`	Heuristics for constrained role mining in the post-processing framework. J. Ambient Intell. Humaniz. Comput. Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi
2023	J	`jnl`	Role mining under User-Distribution cardinality constraint. J. Inf. Secur. Appl. Carlo Blundo, Stelvio Cimato
2022	Misc	`conf`	A Blockchain-based Trustworthy Cloud Services Digital Ecosystem. CSR Emanuele Bellini, Iolanda Aversa, Stelvio Cimato, Antonio Esposito
2022	J	`jnl`	Multiplicative Complexity of XOR Based Regular Functions. IEEE Trans. Computers Anna Bernasconi, Stelvio Cimato, Valentina Ciriani, Maria Chiara Molteni
2022	J	`jnl`	Role Mining Heuristics for Permission-Role-Usage Cardinality Constraints. Comput. J. Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi
2021	Misc	`conf`	Towards a Trustworthy Semantic-Aware Marketplace for Interoperable Cloud Services. CISIS Emanuele Bellini, Stelvio Cimato, Ernesto Damiani, Beniamino Di Martino, Antonio Esposito
2020	C	`conf`	A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol. ICISSP Lara Mauri, Stelvio Cimato, Ernesto Damiani
2020	J	`jnl`	A cryptographic cloud-based approach for the mitigation of the airline cargo cancellation problem. J. Inf. Secur. Appl. Stelvio Cimato, Gabriele Gianini, Maryam Sepehri, Rasool Asal, Ernesto Damiani
2020	B	`conf`	Be Your Neighbor's Miner: Building Trust in Ledger Content via Reciprocally Useful Work. CLOUD Lara Mauri, Ernesto Damiani, Stelvio Cimato
2020	J	`jnl`	Introduction to the special issue on deep learning for real-time information hiding and forensics. J. Real Time Image Process. Zhili Zhou, Ching-Nung Yang, Cheonshik Kim, Stelvio Cimato
2020	J	`jnl`	Managing Constraints in Role Based Access Control. IEEE Access Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi
2020	A*	`conf`	Multiplicative Complexity of Autosymmetric Functions: Theory and Applications to Security. DAC Anna Bernasconi, Stelvio Cimato, Valentina Ciriani, Maria Chiara Molteni
2020	B	`conf`	Towards Efficient and Secure Analysis of Large Datasets. COMPSAC Stelvio Cimato, Stefano Nicolò
2020	—	`conf`	Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. MSTEC Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh
2020	—	`conf`	Untangling the XRP Ledger: Insights and Analysis. ICISSP (Revised Selected Papers) Lara Mauri, Stelvio Cimato, Ernesto Damiani
2019	—	`ed.`	43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1 COMPSAC (1) Vladimir Getov, Jean-Luc Gaudiot, Nariyoshi Yamai, Stelvio Cimato, J. Morris Chang, Yuuichi Teranishi, Ji-Jiang Yang, Hong Va Leong, Hossain Shahriar, Michiharu Takemoto, Dave Towey, Hiroki Takakura, Atilla Elçi, Susumu Takeuchi, Satish Puri
2019	—	`ed.`	43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 2 COMPSAC (2) Vladimir Getov, Jean-Luc Gaudiot, Nariyoshi Yamai, Stelvio Cimato, J. Morris Chang, Yuuichi Teranishi, Ji-Jiang Yang, Hong Va Leong, Hossain Shahriar, Michiharu Takemoto, Dave Towey, Hiroki Takakura, Atilla Elçi, Susumu Takeuchi, Satish Puri
2019	—	`conf`	A Model Driven Approach for Cyber Security Scenarios Deployment. IOSec/MSTEC/FINSEC@ESORICS Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene
2019	—	`conf`	An OBDD-Based Technique for the Efficient Synthesis of Garbled Circuits. STM Stelvio Cimato, Valentina Ciriani, Ernesto Damiani, Maryam Ehsanpour
2019	—	`conf`	Towards Blockchain-Based E-Voting Systems. BIS (Workshops) Chiara Braghin, Stelvio Cimato, Simone Raimondi Cominesi, Ernesto Damiani, Lara Mauri
2018	—	`ed.`	2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1 COMPSAC (1) Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang, Md. Kamrul Hasan
2018	—	`ed.`	2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 2 COMPSAC (2) Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang, Md. Kamrul Hasan
2018	C	`conf`	A Comparative Analysis of Current Cryptocurrencies. ICISSP Lara Mauri, Stelvio Cimato, Ernesto Damiani
2018	—	`conf`	Are mHealth Apps Secure? A Case Study. COMPSAC (2) Chiara Braghin, Stelvio Cimato, Alessio Della Libera
2018	—	`conf`	Embedding a Digital Wallet to Pay-with-a-Selfie, Defining the System Architecture as Blockchain Based. AFRICATEK Perpetus Jacques Houngbo, Joël T. Hounsou, Ernesto Damiani, Rasool Asal, Stelvio Cimato, Fulvio Frati, Chan Yeob Yeun
2018	—	`conf`	Embedding a Digital Wallet to Pay-with-a-Selfie, from Functional Requirements to Prototype. AFRICATEK Perpetus Jacques Houngbo, Joël T. Hounsou, Ernesto Damiani, Rasool Asal, Stelvio Cimato, Fulvio Frati, Chan Yeob Yeun
2018	—	`conf`	Message from the SAPSE 2018 Workshop Organizers. COMPSAC (2) Stelvio Cimato
2018	—	`conf`	PostProcessing in Constrained Role Mining. IDEAL (1) Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi
2018	—	`conf`	Some Ideas on Privacy-Aware Data Analytics in the Internet-of-Everything. From Database to Cyber Security Stelvio Cimato, Ernesto Damiani
2017	—	`ed.`	41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1 COMPSAC (1) Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang, Md. Kamrul Hasan
2017	—	`ed.`	41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2 COMPSAC (2) Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang, Md. Kamrul Hasan
2017	C	`conf`	A multiple valued logic approach for the synthesis of garbled circuits. VLSI-SoC Stelvio Cimato, Valentina Ciriani, Ernesto Damiani, Maryam Ehsanpour
2017	—	`conf`	Efficient Implementation of a Proxy-based Protocol for Data Sharing on the Cloud. SCC@AsiaCCS Maryam Sepehri, Stelvio Cimato, Ernesto Damiani
2017	C	`conf`	Exploiting Quantum Gates in Secure Computation. DSD Maryam Ehsanpour, Stelvio Cimato, Valentina Ciriani, Ernesto Damiani
2017	—	`conf`	PRUCC-RM: Permission-Role-Usage Cardinality Constrained Role Mining. COMPSAC (2) Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi
2017	J	`jnl`	Pay-with-a-Selfie, a human-centred digital payment system. CoRR Ernesto Damiani, Perpetus Jacques Houngbo, Rasool Asal, Stelvio Cimato, Fulvio Frati, Joël T. Hounsou, Dina Shehada, Chan Yeob Yeun
2017	—	`conf`	Porting the Pay with a (Group) Selfie (PGS) Payment System to Crypto Currency. AFRICATEK Ernesto Damiani, Perpetus Jacques Houngbo, Joël T. Hounsou, Rasool Asal, Stelvio Cimato, Fulvio Frati, Dina Shehada, Chan Yeob Yeun
2016	C	`conf`	3-Out-of-n Cheating Prevention Visual Cryptographic Schemes. ICISSP Ching-Nung Yang, Stelvio Cimato, Jihi-Han Wu, Song-Ruei Cai
2016	—	`conf`	Key Recovery in Public Clouds: A Survey on Cross-VM Side Channel Attacks. ICCCS (1) Stelvio Cimato, Ernesto Damiani, Silvia Mella, Ching-Nung Yang
2016	—	`conf`	Message from the SAPSE Workshop Organizers. COMPSAC Workshops Stelvio Cimato
2016	—	`ch.`	Possibilistic Assessment of Process-Related Disclosure Risks on the Cloud. Computational Intelligence and Quantitative Software Engineering Valerio Bellandi, Stelvio Cimato, Ernesto Damiani, Gabriele Gianini
2015	—	`conf`	Data Sharing on the Cloud: A Scalable Proxy-Based Protocol for Privacy-Preserving Queries. TrustCom/BigDataSE/ISPA (1) Maryam Sepehri, Stelvio Cimato, Ernesto Damiani, Chan Yeob Yeun
2015	—	`conf`	Message from the Fast Abstract Chairs. COMPSAC Workshops Hossain Shahriar, Stelvio Cimato, Jingyu Zhou, Katsuyoshi Iida
2015	—	`conf`	Message from the SAPSE 2015 Workshop Organizer. COMPSAC Workshops Stelvio Cimato
2015	C	`conf`	New Results for Partial Key Exposure on RSA with Exponent Blinding. SECRYPT Stelvio Cimato, Silvia Mella, Ruggero Susella
2015	—	`conf`	Partial Key Exposure Attacks on RSA with Exponent Blinding. ICETE (Selected Papers) Stelvio Cimato, Silvia Mella, Ruggero Susella
2015	—	`conf`	Paying with a Selfie: A Hybrid Micro-payment Framework Based on Visual Cryptography. AFRICOMM Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Joël T. Hounsou, Judicaël Tandjiékpon
2015	J	`jnl`	Privacy-Preserving Query Processing by Multi-Party Computation. Comput. J. Maryam Sepehri, Stelvio Cimato, Ernesto Damiani
2015	J	`jnl`	Security and searchability in secret sharing-based data outsourcing. Int. J. Inf. Sec. Mohammad Ali Hadavi, Rasool Jalili, Ernesto Damiani, Stelvio Cimato
2015	J	`jnl`	Toward Economic-Aware Risk Assessment on the Cloud. IEEE Secur. Priv. Valerio Bellandi, Stelvio Cimato, Ernesto Damiani, Gabriele Gianini, Antonio Zilli
2014	J	`jnl`	A risk model for cloud processes. ISC Int. J. Inf. Secur. Ernesto Damiani, Stelvio Cimato, Gabriele Gianini
2014	J	`jnl`	Visual Cryptography Based Watermarking. Trans. Data Hiding Multim. Secur. Stelvio Cimato, James C. N. Yang, Chih-Cheng Wu
2013	—	`conf`	A Multi-Party Protocol for Privacy-Preserving Range Queries. Secure Data Management Maryam Sepehri, Stelvio Cimato, Ernesto Damiani
2013	—	`conf`	A Scalable Multi-Party Protocol for Privacy-Preserving Equality Test. CAiSE Workshops Maryam Sepehri, Stelvio Cimato, Ernesto Damiani
2013	J	`jnl`	Clustering Models in Secure Clustered Multiparty Computation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Sedigheh Abbasi, Stelvio Cimato, Ernesto Damiani
2013	—	`conf`	Toward Secure Clustered Multi-Party Computation: A Privacy-Preserving Clustering Protocol. ICT-EurAsia Sedigheh Abbasi, Stelvio Cimato, Ernesto Damiani
2013	B	`conf`	Towards the Certification of Cloud Services. SERVICES Stelvio Cimato, Ernesto Damiani, Francesco Zavatarelli, Renato Menicocci
2013	—	`conf`	Visual Cryptography Schemes for Graph Based Access Structures. IIH-MSP Stelvio Cimato
2012	—	`conf`	AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing. DPM/SETOP Mohammad Ali Hadavi, Ernesto Damiani, Rasool Jalili, Stelvio Cimato, Zeinab Ganjei
2012	J	`jnl`	Constrained Role Mining CoRR Carlo Blundo, Stelvio Cimato
2012	—	`conf`	Constrained Role Mining. STM Carlo Blundo, Stelvio Cimato
2012	—	`conf`	Ensuring XML Integrity Using Watermarking Techniques. SITIS Romaric Tchokpon, Stelvio Cimato, Nadia Bennani
2012	—	`conf`	Risk assessment of credit securities: The notion and the issues. DEST Stelvio Cimato, Ernesto Damiani, Gabriele Gianini
2012	C	`conf`	Visual Cryptography Based Watermarking: Definition and Meaning. IWDW Stelvio Cimato, Ching-Nung Yang, Chih-Cheng Wu
2011	—	`ch.`	Biometric Privacy. Encyclopedia of Cryptography and Security (2nd Ed.) Fabio Scotti, Stelvio Cimato, Roberto Sassi
2011	J	`jnl`	Secure Collaborative Supply-Chain Management. Computer Florian Kerschbaum, Axel Schröpfer, Antonio Zilli, Richard Pibernik, Octavian Catrina, Sebastiaan de Hoogh, Berry Schoenmakers, Stelvio Cimato, Ernesto Damiani
2010	—	`conf`	A Distributed and Privacy-Preserving Method for Network Intrusion Detection. OTM Conferences (2) Fatiha Benali, Nadia Bennani, Gabriele Gianini, Stelvio Cimato
2010	Misc	`conf`	A simple role mining algorithm. SAC Carlo Blundo, Stelvio Cimato
2010	J	`jnl`	Managing key hierarchies for access control enforcement: Heuristic approaches. Comput. Secur. Carlo Blundo, Stelvio Cimato, Sabrina De Capitani di Vimercati, Alfredo De Santis, Sara Foresti, Stefano Paraboschi, Pierangela Samarati
2010	—	`conf`	Toward Cloud-Based Key Management for Outsourced Databases. COMPSAC Workshops Nadia Bennani, Ernesto Damiani, Stelvio Cimato
2010	C	`conf`	Using incentive schemes to alleviate supply chain risks. MEDES Marco Anisetti, Ernesto Damiani, Fulvio Frati, Stelvio Cimato, Gabriele Gianini
2009	Misc	`conf`	Efficient Key Management for Enforcing Access Control in Outsourced Scenarios. SEC Carlo Blundo, Stelvio Cimato, Sabrina De Capitani di Vimercati, Alfredo De Santis, Sara Foresti, Stefano Paraboschi, Pierangela Samarati
2009	—	`conf`	Privacy Preserving Risk Assessment of Credit Securities. SITIS Stelvio Cimato, Ernesto Damiani, Gabriele Gianini
2008	B	`conf`	A Lightweight Protocol for Dynamic RFID Identification. COMPSAC Stelvio Cimato
2008	Misc	`conf`	A Multi-biometric Verification System for the Privacy Protection of Iris Templates. CISIS Stelvio Cimato, Marco Gamassi, Vincenzo Piuri, Roberto Sassi, Fabio Scotti
2008	A	`conf`	Privacy-Aware Biometrics: Design and Implementation of a Multimodal Verification System. ACSAC Stelvio Cimato, Marco Gamassi, Vincenzo Piuri, Roberto Sassi, Fabio Scotti
2008	Misc	`ed.`	Proceedings of The IFIP TC-11 23rd International Information Security Conference, IFIP 20th World Computer Congress, IFIP SEC 2008, September 7-10, 2008, Milano, Italy SEC Sushil Jajodia, Pierangela Samarati, Stelvio Cimato
2007	C	`conf`	A Biometric Verification System Addressing Privacy Concerns. CIS Stelvio Cimato, Marco Gamassi, Vincenzo Piuri, Roberto Sassi, Fabio Scotti
2007	J	`jnl`	Colored visual cryptography without color darkening. Theor. Comput. Sci. Stelvio Cimato, Roberto De Prisco, Alfredo De Santis
2006	C	`conf`	A Web Service Based Micro-payment System. ISCC Vincenzo Auletta, Carlo Blundo, Stelvio Cimato, Guerriero Raimato
2006	J	`jnl`	A unified model for unconditionally secure key distribution. J. Comput. Secur. Stelvio Cimato, Antonella Cresti, Paolo D'Arco
2006	J	`jnl`	Probabilistic Visual Cryptography Schemes. Comput. J. Stelvio Cimato, Roberto De Prisco, Alfredo De Santis
2006	J	`jnl`	Visual Cryptography Schemes with Optimal Pixel Expansion. IACR Cryptol. ePrint Arch. Carlo Blundo, Stelvio Cimato, Alfredo De Santis
2006	J	`jnl`	Visual cryptography schemes with optimal pixel expansion. Theor. Comput. Sci. Carlo Blundo, Stelvio Cimato, Alfredo De Santis
2005	—	`conf`	A Lightweight Approach to Authenticated Web Caching. SAINT Carlo Blundo, Stelvio Cimato, Roberto De Prisco
2005	B	`conf`	Design and Implementation of an Inline Certified E-mail Service. CANS Stelvio Cimato, Clemente Galdi, Raffaella Giordano, Barbara Masucci, Gildo Tomasco
2005	J	`jnl`	Ideal contrast visual cryptography schemes with reversing. Inf. Process. Lett. Stelvio Cimato, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
2005	J	`jnl`	Optimal Colored Threshold Visual Cryptography Schemes. Des. Codes Cryptogr. Stelvio Cimato, Roberto De Prisco, Alfredo De Santis
2005	J	`jnl`	Overcoming the obfuscation of Java programs by identifier renaming. J. Syst. Softw. Stelvio Cimato, Alfredo De Santis, Umberto Ferraro Petrillo
2005	J	`jnl`	Secure E-Coupons. Electron. Commer. Res. Carlo Blundo, Stelvio Cimato, Annalisa De Bonis
2005	Misc	`ed.`	Security in Communication Networks, 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers SCN Carlo Blundo, Stelvio Cimato
2004	—	`conf`	A Framework for Authenticated Web Services. ECOWS Carlo Blundo, Stelvio Cimato
2004	—	`conf`	A Platform for Secure E-Gambling. ITCC (2) Carlo Blundo, Stelvio Cimato
2004	J	`jnl`	A Software Infrastructure for Authenticated Web Metering. Computer Carlo Blundo, Stelvio Cimato
2004	Misc	`conf`	Colored Visual Cryptography Without Color Darkening. SCN Stelvio Cimato, Roberto De Prisco, Alfredo De Santis
2003	—	`conf`	Anonymous Group Communication in Mobile Networks. ICTCS Stelvio Cimato, Paolo D'Arco, Ivan Visconti
2003	C	`conf`	Certified Email: Design and Implementation of a New Optimistic Protocol.. ISCC Carlo Blundo, Stelvio Cimato, Roberto De Prisco
2003	B	`conf`	Contrast optimal colored visual cryptography schemes. ITW Stelvio Cimato, Roberto De Prisco, Alfredo De Santis
2003	—	`conf`	Modeling A Certified Email Protocol using I/O Automata. MEFISTO Carlo Blundo, Stelvio Cimato, Roberto De Prisco, Anna Lisa Ferrara
2003	Misc	`ed.`	Security in Communication Networks, Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002. Revised Papers SCN Stelvio Cimato, Clemente Galdi, Giuseppe Persiano
2002	A*	`conf`	A lightweight protocol for the generation and distribution of secure e-coupons. WWW Carlo Blundo, Stelvio Cimato, Annalisa De Bonis
2002	J	`jnl`	A note on optimal metering schemes. Inf. Process. Lett. Carlo Blundo, Stelvio Cimato, Barbara Masucci
2002	C	`conf`	SAWM: a tool for secure and authenticated web metering. SEKE Carlo Blundo, Stelvio Cimato
2001	Misc	`conf`	Design of an Authentication Protocol for Gsm Javacards. ICISC Stelvio Cimato
2001	—	`conf`	Online Advertising: Secure E-coupons. ICTCS Stelvio Cimato, Annalisa De Bonis
1999	—	`conf`	A Formal Approach to the Specification of Java Components. ECOOP Workshops Stelvio Cimato, Paolo Ciancarini
1999	—	`conf`	Specifying component-based Java applications (Short Paper). FMOODS Stelvio Cimato
1997	J	`jnl`	Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. Ann. Softw. Eng. Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo
1996	—	`conf`	Analyzing and Animating Declarative Specifications. APPIA-GULP-PRODE Stelvio Cimato, Cecilia Mascolo
1996	—	`conf`	Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO Paolo Ciancarini, Stelvio Cimato
1996	C	`conf`	Engineering Formal Requirements: Analysis and Testing. SEKE Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo