Luigi V. Mancini

171 papers A* 5A 14B 10C 12Misc 6Journal 75Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	ADA: An AI-Powered Assistant for Managed Service Providers. ITASEC/SERICS Eleonora Breci, Sediola Ruko, Luigi V. Mancini, Dorjan Hitaj
2025	J	`jnl`	Do You Trust Your Model? Emerging Malware Threats in the Deep Learning Ecosystem. IEEE Trans. Dependable Secur. Comput. Dorjan Hitaj, Giulio Pagnotta, Fabio De Gaspari, Sediola Ruko, Briland Hitaj, Luigi V. Mancini, Fernando Pérez-Cruz
2025	J	`jnl`	MAYA: Addressing Inconsistencies in Generative Password Guessing through a Unified Benchmark. CoRR William Corrias, Fabio De Gaspari, Dorjan Hitaj, Luigi V. Mancini
2025	A	`conf`	Minerva: A File-Based Ransomware Detector. AsiaCCS Dorjan Hitaj, Giulio Pagnotta, Fabio De Gaspari, Lorenzo De Carli, Luigi V. Mancini
2025	J	`jnl`	Vulnerability Disclosure through Adaptive Black-Box Adversarial Attacks on NIDS. CoRR Sabrine Ennaji, Elhadj Benkhelifa, Luigi V. Mancini
2024	J	`jnl`	Adversarial Challenges in Network Intrusion Detection Systems: Research Insights and Future Prospects. CoRR Sabrine Ennaji, Fabio De Gaspari, Dorjan Hitaj, Alicia K Bidi, Luigi V. Mancini
2024	J	`jnl`	Do You Trust Your Model? Emerging Malware Threats in the Deep Learning Ecosystem. CoRR Dorjan Hitaj, Giulio Pagnotta, Fabio De Gaspari, Sediola Ruko, Briland Hitaj, Luigi V. Mancini, Fernando Pérez-Cruz
2024	J	`jnl`	FedComm: Federated Learning as a Medium for Covert Communication. IEEE Trans. Dependable Secur. Comput. Dorjan Hitaj, Giulio Pagnotta, Briland Hitaj, Fernando Pérez-Cruz, Luigi V. Mancini
2024	—	`conf`	Have You Poisoned My Data? Defending Neural Networks Against Data Poisoning. ESORICS (1) Fabio De Gaspari, Dorjan Hitaj, Luigi V. Mancini
2024	J	`jnl`	Have You Poisoned My Data? Defending Neural Networks against Data Poisoning. CoRR Fabio De Gaspari, Dorjan Hitaj, Luigi V. Mancini
2024	A	`conf`	TATTOOED: A Robust Deep Neural Network Watermarking Scheme based on Spread-Spectrum Channel Coding. ACSAC Giulio Pagnotta, Dorjan Hitaj, Briland Hitaj, Fernando Pérez-Cruz, Luigi V. Mancini
2023	J	`jnl`	DOLOS: A Novel Architecture for Moving Target Defense. CoRR Giulio Pagnotta, Fabio De Gaspari, Dorjan Hitaj, Mauro Andreolini, Michele Colajanni, Luigi V. Mancini
2023	J	`jnl`	DOLOS: A Novel Architecture for Moving Target Defense. IEEE Trans. Inf. Forensics Secur. Giulio Pagnotta, Fabio De Gaspari, Dorjan Hitaj, Mauro Andreolini, Michele Colajanni, Luigi V. Mancini
2023	J	`jnl`	Minerva: A File-Based Ransomware Detector. CoRR Dorjan Hitaj, Giulio Pagnotta, Fabio De Gaspari, Lorenzo De Carli, Luigi V. Mancini
2023	J	`jnl`	OliVaR: Improving Olive Variety Recognition using Deep Neural Networks. CoRR Hristofor Miho, Giulio Pagnotta, Dorjan Hitaj, Fabio De Gaspari, Luigi V. Mancini, Georgios Koubouris, Gianluca Godino, Mehmet Hakan, Concepcion Muñoz Diez
2022	J	`jnl`	Evading behavioral classifiers: a comprehensive analysis on evading ransomware detection techniques. Neural Comput. Appl. Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2022	J	`jnl`	FedComm: Federated Learning as a Medium for Covert Communication. CoRR Dorjan Hitaj, Giulio Pagnotta, Briland Hitaj, Fernando Pérez-Cruz, Luigi V. Mancini
2022	—	`conf`	MaleficNet: Hiding Malware into Deep Neural Networks Using Spread-Spectrum Channel Coding. ESORICS (3) Dorjan Hitaj, Giulio Pagnotta, Briland Hitaj, Luigi V. Mancini, Fernando Pérez-Cruz
2022	A	`conf`	PassFlow: Guessing Passwords with Generative Flows. DSN Giulio Pagnotta, Dorjan Hitaj, Fabio De Gaspari, Luigi V. Mancini
2022	J	`jnl`	Reliable detection of compressed and encrypted data. Neural Comput. Appl. Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2022	J	`jnl`	TATTOOED: A Robust Deep Neural Network Watermarking Scheme based on Spread-Spectrum Channel Coding. CoRR Giulio Pagnotta, Dorjan Hitaj, Briland Hitaj, Fernando Pérez-Cruz, Luigi V. Mancini
2021	J	`jnl`	Capture the Bot: Using Adversarial Examples to Improve CAPTCHA Robustness to Bot Attacks. IEEE Intell. Syst. Dorjan Hitaj, Briland Hitaj, Sushil Jajodia, Luigi V. Mancini
2021	J	`jnl`	Evaluating the Robustness of Geometry-Aware Instance-Reweighted Adversarial Training. CoRR Dorjan Hitaj, Giulio Pagnotta, Iacopo Masi, Luigi V. Mancini
2021	A	`conf`	MalPhase: Fine-Grained Malware Detection Using Network Flow Data. AsiaCCS Michal Piskozub, Fabio De Gaspari, Freddie Barr-Smith, Luigi V. Mancini, Ivan Martinovic
2021	J	`jnl`	MalPhase: Fine-Grained Malware Detection Using Network Flow Data. CoRR Michal Piskozub, Fabio De Gaspari, Frederick Barr-Smith, Luigi V. Mancini, Ivan Martinovic
2021	J	`jnl`	PassFlow: Guessing Passwords with Generative Flows. CoRR Giulio Pagnotta, Dorjan Hitaj, Fabio De Gaspari, Luigi V. Mancini
2021	J	`jnl`	Reliable Detection of Compressed and Encrypted Data. CoRR Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2020	J	`jnl`	A Novel Stealthy Attack to Gather SDN Configuration-Information. IEEE Trans. Emerg. Top. Comput. Mauro Conti, Fabio De Gaspari, Luigi V. Mancini
2020	J	`jnl`	Capture the Bot: Using Adversarial Examples to Improve CAPTCHA Robustness to Bot Attacks. CoRR Dorjan Hitaj, Briland Hitaj, Sushil Jajodia, Luigi V. Mancini
2020	B	`conf`	EnCoD: Distinguishing Compressed and Encrypted File Fragments. NSS Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2020	J	`jnl`	EnCoD: Distinguishing Compressed and Encrypted File Fragments. CoRR Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2020	—	`ch.`	Reference Architecture of an Autonomous Agent for Cyber Defense of Complex Military Systems. Adaptive Autonomous Secure Cyber Systems Paul Théron, Alexander Kott, Martin Drasar, Krzysztof Rzadca, Benoît Leblanc, Mauno Pihelgas, Luigi V. Mancini, Fabio De Gaspari
2020	J	`jnl`	SARA: Secure Asynchronous Remote Attestation for IoT Systems. IEEE Trans. Inf. Forensics Secur. Edlira Dushku, Md Masoom Rabbani, Mauro Conti, Luigi V. Mancini, Silvio Ranise
2020	—	`conf`	The Naked Sun: Malicious Cooperation Between Benign-Looking Processes. ACNS (2) Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2019	—	`conf`	Evasion Attacks Against Watermarking Techniques found in MLaaS Systems. SDS Dorjan Hitaj, Briland Hitaj, Luigi V. Mancini
2019	—	`conf`	Multi-Covert Channel Attack in the Cloud. SDS Mahdi Akil, Luigi V. Mancini, Daniele Venturi
2019	—	`conf`	RADIS: Remote Attestation of Distributed IoT Services. SDS Mauro Conti, Edlira Dushku, Luigi V. Mancini
2019	—	`conf`	Remote Attestation as a Service for IoT. IoTSMS Mauro Conti, Edlira Dushku, Luigi V. Mancini, Md Masoom Rabbani, Silvio Ranise
2019	J	`jnl`	The Naked Sun: Malicious Cooperation Between Benign-Looking Processes. CoRR Fabio De Gaspari, Dorjan Hitaj, Giulio Pagnotta, Lorenzo De Carli, Luigi V. Mancini
2018	—	`conf`	Distributed Services Attestation in IoT. From Database to Cyber Security Mauro Conti, Edlira Dushku, Luigi V. Mancini
2018	J	`jnl`	Have You Stolen My Model? Evasion Attacks Against Deep Neural Network Watermarking Techniques. CoRR Dorjan Hitaj, Luigi V. Mancini
2018	J	`jnl`	Initial Reference Architecture of an Intelligent Autonomous Agent for Cyber Defense. CoRR Alexander Kott, Luigi V. Mancini, Paul Théron, Martin Drasar, Edlira Dushku, Heiko Günther, Markus Kont, Benoît Leblanc, Agostino Panico, Mauno Pihelgas, Krzysztof Rzadca
2018	J	`jnl`	RADIS: Remote Attestation of Distributed IoT Services. CoRR Mauro Conti, Edlira Dushku, Luigi V. Mancini
2018	J	`jnl`	Towards an Active, Autonomous and Intelligent Cyber Defense of Military Systems: the NATO AICA Reference Architecture. CoRR Paul Théron, Alexander Kott, Martin Drasar, Krzysztof Rzadca, Benoît Leblanc, Mauno Pihelgas, Luigi V. Mancini, Agostino Panico
2018	—	`conf`	Towards an active, autonomous and intelligent cyber defense of military systems: The NATO AICA reference architecture. ICMCIS Paul Théron, Alexander Kott, Martin Drasar, Krzysztof Rzadca, Benoît Leblanc, Mauno Pihelgas, Luigi V. Mancini, Agostino Panico
2017	C	`conf`	Know Your Enemy: Stealth Configuration-Information Gathering in SDN. GPC Mauro Conti, Fabio De Gaspari, Luigi V. Mancini
2017	Misc	`conf`	SOF on Trial. The Technical and Legal Value of Battlefield Digital Forensics in Court. ICISS Luigi V. Mancini, Andrea Monti, Agostino Panico
2016	—	`conf`	AHEAD: A New Architecture for Active Defense. SafeConfig@CCS Fabio De Gaspari, Sushil Jajodia, Luigi V. Mancini, Agostino Panico
2016	J	`jnl`	Know Your Enemy: Stealth Configuration-Information Gathering in SDN. CoRR Mauro Conti, Fabio De Gaspari, Luigi V. Mancini
2015	—	`conf`	Can't You Hear Me Knocking: Identification of User Actions on Android Apps via Traffic Analysis. CODASPY Mauro Conti, Luigi V. Mancini, Riccardo Spolaor, Nino Vincenzo Verde
2015	J	`jnl`	Hacking smart machines with smarter ones: How to extract meaningful data from machine learning classifiers. Int. J. Secur. Networks Giuseppe Ateniese, Luigi V. Mancini, Angelo Spognardi, Antonio Villani, Domenico Vitali, Giovanni Felici
2015	J	`jnl`	No Place to Hide that Bytes won't Reveal: Sniffing Location-Based Encrypted Traffic to Track User Position. CoRR Giuseppe Ateniese, Briland Hitaj, Luigi V. Mancini, Nino Vincenzo Verde, Antonio Villani
2015	J	`jnl`	Obfuscation of Sensitive Data for Incremental Release of Network Flows. IEEE/ACM Trans. Netw. Daniele Riboni, Antonio Villani, Domenico Vitali, Claudio Bettini, Luigi V. Mancini
2014	J	`jnl`	Can't you hear me knocking: Identification of user actions on Android apps via traffic analysis. CoRR Mauro Conti, Luigi V. Mancini, Riccardo Spolaor, Nino Vincenzo Verde
2013	J	`jnl`	Hacking Smart Machines with Smarter Ones: How to Extract Meaningful Data from Machine Learning Classifiers. CoRR Giuseppe Ateniese, Giovanni Felici, Luigi V. Mancini, Angelo Spognardi, Antonio Villani, Domenico Vitali
2013	J	`jnl`	Mapping the File Systems Genome: rationales, technique, results and applications. CoRR Roberto Di Pietro, Luigi V. Mancini, Antonio Villani, Domenico Vitali
2013	A*	`conf`	Obsidian: A scalable and efficient framework for NetFlow obfuscation. INFOCOM Antonio Villani, Daniele Riboni, Domenico Vitali, Claudio Bettini, Luigi V. Mancini
2013	—	`conf`	Obsidian: A scalable and efficient framework for NetFlow obfuscation. INFOCOM Workshops Antonio Villani, Daniele Riboni, Domenico Vitali, Claudio Bettini, Luigi V. Mancini
2013	C	`conf`	Uniqueness of the file systems genome: Supporting arguments and massive experimental measurements. CRiSIS Roberto Di Pietro, Luigi V. Mancini, Antonio Villani, Domenico Vitali
2012	C	`conf`	DDoS Detection with Information Theory Metrics and Netflows - A Real Case. SECRYPT Domenico Vitali, Antonio Villani, Angelo Spognardi, Roberto Battistoni, Luigi V. Mancini
2012	A*	`conf`	Obfuscation of sensitive data in network flows. INFOCOM Daniele Riboni, Antonio Villani, Domenico Vitali, Claudio Bettini, Luigi V. Mancini
2011	—	`conf`	MhRep: Multi-hop Replication Scheme for Data Survival in Unattended Wireless Sensor Networks. SRDS Workshops Domenico Vitali, Angelo Spognardi, Antonio Villani, Luigi V. Mancini
2011	—	`conf`	Replication Schemes in Unattended Wireless Sensor Networks. NTMS Domenico Vitali, Angelo Spognardi, Luigi V. Mancini
2011	J	`jnl`	Secure topology maintenance and events collection in WSNs. Secur. Commun. Networks Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini
2011	J	`jnl`	Securing Topology Maintenance Protocols for Sensor Networks. IEEE Trans. Dependable Secur. Comput. Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia
2010	J	`jnl`	Hierarchies of keys in secure multicast communications. J. Comput. Secur. Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2010	—	`conf`	The smallville effect: social ties make mobile networks more secure against node capture attack. MOBIWAC Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei
2010	J	`jnl`	eRIPP-FS: Enforcing privacy and security in RFID. Secur. Commun. Networks Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi
2009	J	`jnl`	Data Security in Unattended Wireless Sensor Networks. IEEE Trans. Computers Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik
2009	J	`jnl`	Distributed data source verification in wireless sensor networks. Inf. Fusion Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2009	J	`jnl`	Mobility and Cooperation to Thwart Node Capture Attacks in MANETs. EURASIP J. Wirel. Commun. Netw. Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2009	J	`jnl`	Playing hide-and-seek with a focused mobile adversary in unattended wireless sensor networks. Ad Hoc Networks Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik
2009	J	`jnl`	Privacy-preserving robust data aggregation in wireless sensor networks. Secur. Commun. Networks Mauro Conti, Lei Zhang, Sankardas Roy, Roberto Di Pietro, Sushil Jajodia, Luigi V. Mancini
2009	—	`conf`	Resource Management with X.509 Inter-domain Authorization Certificates (InterAC). EuroPKI Vishwas Patil, Paolo Gasti, Luigi V. Mancini, Giovanni Chiola
2009	C	`conf`	Sec-TMP: A Secure Topology Maintenance Protocol for Event Delivery Enforcement in WSN. SecureComm Andrea Gabrielli, Mauro Conti, Roberto Di Pietro, Luigi V. Mancini
2009	—	`conf`	The Quest for Mobility Models to Analyse Security in Mobile Ad Hoc Networks. WWIC Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei
2009	J	`jnl`	The Smallville Effect: Social Ties Make Mobile Networks More Secure Against the Node Capture Attack CoRR Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei
2008	Misc	`conf`	A Live Digital Forensic system for Windows networks. SEC Roberto Battistoni, Alessandro Di Biagio, Roberto Di Pietro, Matteo Formica, Luigi V. Mancini
2008	A*	`conf`	Catch Me (If You Can): Data Survival in Unattended Sensor Networks. PerCom Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik
2008	—	`conf`	Emergent properties: detection of the node-capture attack in mobile wireless sensor networks. WISEC Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2008	J	`jnl`	Maximizing data survival in Unattended Wireless Sensor Networks against a focused mobile adversary. IACR Cryptol. ePrint Arch. Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik
2008	J	`jnl`	Redoubtable Sensor Networks. ACM Trans. Inf. Syst. Secur. Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan
2008	J	`jnl`	Scalable and Efficient Provable Data Possession. IACR Cryptol. ePrint Arch. Giuseppe Ateniese, Roberto Di Pietro, Luigi V. Mancini, Gene Tsudik
2008	C	`conf`	Scalable and efficient provable data possession. SecureComm Giuseppe Ateniese, Roberto Di Pietro, Luigi V. Mancini, Gene Tsudik
2008	J	`jnl`	Special Issue: Hot Topics in Peer-to-Peer Systems. Concurr. Comput. Pract. Exp. Luigi V. Mancini
2007	B	`conf`	A randomized, efficient, and distributed protocol for the detection of node replication attacks in wireless sensor networks. MobiHoc Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2007	A	`conf`	Addressing interoperability issues in access control models. AsiaCCS Vishwas Patil, Alessandro Mei, Luigi V. Mancini
2007	—	`conf`	Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks. BIOWIRE Andrea Gabrielli, Luigi V. Mancini
2007	J	`jnl`	ECCE: Enhanced cooperative channel establishment for secure pair-wise communication in wireless sensor networks. Ad Hoc Networks Mauro Conti, Roberto Di Pietro, Luigi V. Mancini
2007	—	`ch.`	Information Hiding for Spatial and Geographical Data. Spatial Data on the Web Maria Calagna, Luigi V. Mancini
2007	—	`ed.`	Proceedings of the Second Workshop on Cryptography for Ad-hoc Networks, WCAN@ICALP 2006, Venice, Italy, July 16, 2006 WCAN@ICALP Giovanni Di Crescenzo, Luigi V. Mancini
2007	—	`conf`	RIPP-FS: An RFID Identification, Privacy Preserving Protocol with Forward Secrecy. PerCom Workshops Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi
2007	J	`jnl`	Robust RSA distributed signatures for large-scale long-lived ad hoc networks. J. Comput. Secur. Giorgio Zanin, Roberto Di Pietro, Luigi V. Mancini
2007	A	`conf`	Towards threat-adaptive dynamic fragment replication in large scale distributed systems. IPDPS Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2006	A	`conf`	A Secure and Efficient Large Scale Distributed System for Data Sharing. ICDCS Giorgio Zanin, Alessandro Mei, Luigi V. Mancini
2006	Misc	`conf`	A robust watermarking system based on SAC Maria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia
2006	A	`conf`	Addressing the shortcomings of one-way chains. AsiaCCS Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil
2006	—	`conf`	Efficient and Adaptive Threshold Signatures for Ad hoc networks. WCAN@ICALP Roberto Di Pietro, Luigi V. Mancini, Giorgio Zanin
2006	J	`jnl`	Energy efficient node-to-node authentication and communication confidentiality in wireless sensor networks. Wirel. Networks Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2006	—	`conf`	Preface. WCAN@ICALP Giovanni Di Crescenzo, Luigi V. Mancini
2006	B	`conf`	Requirements and Open Issues in Distributed Detection of Node Identity Replicas in WSN. SMC Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2006	C	`conf`	Scheduling Hard-Real-Time Tasks with Backup Phasing Delay. DS-RT Alan A. Bertossi, Luigi V. Mancini, Alessandra Menapace
2006	—	`conf`	Secure Cooperative Channel Establishment inWireless Sensor Networks. PerCom Workshops Mauro Conti, Roberto Di Pietro, Luigi V. Mancini
2006	C	`conf`	Sensor Networks that Are Provably Resilient. SecureComm Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan
2005	—	`conf`	A Blind Method for Digital Watermarking Attacks. EuroIMSA Maria Calagna, Luigi V. Mancini
2005	J	`jnl`	Graph-based specification of access control policies. J. Comput. Syst. Sci. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2005	C	`conf`	Securing Topology Maintenance Protocols for Sensor Networks. SecureComm Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia
2005	C	`conf`	Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. SecureComm Roberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil
2004	A	`conf`	A Host Intrusion Prevention System for Windows Operating Systems. ESORICS Roberto Battistoni, Emanuele Gabrielli, Luigi V. Mancini
2004	C	`conf`	Administrative scope in the graph-based framework. SACMAT Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2004	—	`conf`	BaRT, balanced randomized tree: a scalable and distributed protocol for lookup in peer-to-peer networks. HOT-P2P Angelo Spognardi, Roberto Di Pietro, Luigi V. Mancini
2004	—	`conf`	Connectivity properties of secure wireless sensor networks. SASN Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan
2004	A	`conf`	Efficient and Resilient Key Discovery Based on Pseudo-Random Key Pre-Deployment. IPDPS Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2004	B	`conf`	Information Flow Analysis for File Systems and Databases Using Labels. DBSec Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce
2004	J	`jnl`	Key management for high bandwidth secure multicast. J. Comput. Secur. Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2004	C	`conf`	Towards a formal model for security policies specification and validation in the selinux system. SACMAT Giorgio Zanin, Luigi V. Mancini
2003	B	`conf`	A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS Roberto Di Pietro, Antonio Durante, Luigi V. Mancini
2003	Misc	`conf`	A Time Driven Methodology for Key Dimensioning in Multicast Communications. SEC Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2003	—	`conf`	LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. ICPP Workshops Roberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga
2003	J	`jnl`	Providing secrecy in key management protocols for large wireless sensors networks. Ad Hoc Networks Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia
2003	—	`conf`	Random key-assignment for secure Wireless Sensor Networks. SASN Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei
2003	J	`jnl`	Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems. IEEE Trans. Parallel Distributed Syst. Alessandro Mei, Luigi V. Mancini, Sushil Jajodia
2003	J	`jnl`	Security and privacy issues of handheld and wearable wireless devices. Commun. ACM Roberto Di Pietro, Luigi V. Mancini
2002	J	`jnl`	A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002	B	`conf`	Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002	A	`conf`	Decidability of Safety in Graph-Based Models for Access Control. ESORICS Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002	—	`conf`	Efficient and secure keys management for wireless mobile communications. POMC Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia
2002	—	`conf`	Formal Specification for Fast Automatic IDS Training. FASec Antonio Durante, Roberto Di Pietro, Luigi V. Mancini
2002	J	`jnl`	Remus: a security-enhanced operating system. ACM Trans. Inf. Syst. Secur. Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini
2002	Misc	`conf`	Secure Selective Exclusion in Ad Hoc Wireless Network. SEC Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia
2001	B	`conf`	Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2001	—	`conf`	Graph Transformations for the Specification of Access Control Policies. GETGRATS Closing Workshop Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2001	C	`conf`	On the specification and evolution of access control policies. SACMAT Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2000	A	`conf`	A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2000	J	`jnl`	ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. IEEE Trans. Knowl. Data Eng. Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino
2000	—	`conf`	Enhancements to the Linux Kernel for Blocking Buffer Overflow Based Attacks. Annual Linux Showcase & Conference Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini
2000	J	`jnl`	Flexible Transaction Dependencies in Database Systems. Distributed Parallel Databases Luigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino
2000	A*	`conf`	Operating system enhancements to prevent the misuse of system calls. CCS Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini
2000	—	`conf`	Workshop on Personal Computer Based Networks of Workstation. IPDPS Workshops Giovanni Chiola, Gianni Conte, Luigi V. Mancini
1999	J	`jnl`	Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems. IEEE Trans. Parallel Distributed Syst. Alan A. Bertossi, Luigi V. Mancini, Federico Rossini
1999	Misc	`conf`	GAMMA on DEC 2114x with Efficient Flow Control. PDPTA Giovanni Chiola, Giuseppe Ciaccio, Luigi V. Mancini, Pierluigi Rotondo
1999	—	`ed.`	Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings IPPS/SPDP Workshops José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey C. Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna
1998	—	`conf`	A Fair Locking Protocol for Multilevel Secure Databases. CSFW Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia
1998	J	`jnl`	Advanced Transaction Processing in Multilevel Secure File Stores. IEEE Trans. Knowl. Data Eng. Elisa Bertino, Sushil Jajodia, Luigi V. Mancini, Indrajit Ray
1998	—	`conf`	Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. ICATPN Elisa Bertino, Giovanni Chiola, Luigi V. Mancini
1997	—	`conf`	Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks. IPPS Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancini
1997	—	`ch.`	Flexible Commit Protocols for Advanced Transaction Processing. Advanced Transaction Models and Architectures Luigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino
1997	J	`jnl`	Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Aspects Comput. Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1996	A*	`conf`	An Advanced Commit Protocol for MLS Distributed Database Systems. CCS Indrajit Ray, Elisa Bertino, Sushil Jajodia, Luigi V. Mancini
1996	A	`conf`	Secure Concurrency Control in MLS Databases with Two Versions of Data. ESORICS Luigi V. Mancini, Indrajit Ray
1996	B	`conf`	Secure Locking Protocols for Multilevel Database Management Systems. DBSec Sushil Jajodia, Luigi V. Mancini, Indrajit Ray
1995	J	`jnl`	Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. Real Time Syst. Alan A. Bertossi, Massimo Bonometto, Luigi V. Mancini
1994	—	`conf`	Collecting garbage in multilevel secure object stores. S&P Elisa Bertino, Luigi V. Mancini, Sushil Jajodia
1994	A	`conf`	Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems. ESORICS Alessandro Ciampichetti, Elisa Bertino, Luigi V. Mancini
1994	J	`jnl`	Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. Real Time Syst. Alan A. Bertossi, Luigi V. Mancini
1993	—	`conf`	Modelling Replicated Processing. PARLE Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1993	J	`jnl`	The Duality of Fault-tolerant System Structures. Softw. Pract. Exp. Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1992	J	`jnl`	Fault-tolerant LPT task scheduling in multiprocessor systems. Microprocess. Microsystems Alan A. Bertossi, Luigi V. Mancini
1992	—	`conf`	Garbage Collection and Reachability POS Luigi V. Mancini
1992	—	`conf`	Specification of Concurrency Control in Persistent Programming Languages. POS Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz
1991	B	`conf`	Copying Garbage Collection for Distributed Object Stores. SRDS Luigi V. Mancini, Vittoria Rotella, Simonetta Venosa
1991	J	`jnl`	Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. Luigi V. Mancini, Santosh K. Shrivastava
1991	B	`conf`	Formalising Replicated Distributed Processing. SRDS Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo
1989	J	`jnl`	Proving Correctness Properties of a Replicated Synchronous Program. Comput. J. Luigi V. Mancini, Giuseppe Pappalardo
1989	J	`jnl`	Synchronizing events in replicated systems. J. Syst. Softw. Maciej Koutny, Luigi V. Mancini
1988	J	`jnl`	A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. Softw. Pract. Exp. Luigi V. Mancini
1988	J	`jnl`	Hoare logic of distributed redundant systems. Comput. Syst. Sci. Eng. Luigi V. Mancini, Giuseppe Pappalardo
1988	—	`conf`	Towards a Theory of Replicated Processing. FTRTFT Luigi V. Mancini, Giuseppe Pappalardo
1987	—	`conf`	On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1986	—	`conf`	Formal specification of N-modular redundancy. ACM Conference on Computer Science Luigi V. Mancini, Maciej Koutny
1986	J	`jnl`	Modular Redundancy in a Message Passing System. IEEE Trans. Software Eng. Luigi V. Mancini