A testability measure to improve algebraic test generation. - Antonio Lioy; Marco Mezzalama (Softw. Microsystems, 1984)

Adaptative backtrace and dynamic partitioning enhance ATPG. - Antonio Lioy (ICCD, 1988)

A multilevel hardware description language. - S. Gai; Antonio Lioy (Microprocess. Microprogramming, 1989)

Diagnosis oriented test pattern generation. - Paolo Camurati; Antonio Lioy; Paolo Prinetto; Matteo Sonza Reorda (EURO-DAC, 1990)

Assessing the diagnostic power of test pattern sets. - Paolo Camurati; Antonio Lioy; Paolo Prinetto; Matteo Sonza Reorda (Microprocessing and Microprogramming, 1990)

Automatic compaction of microcode. - Antonio Lioy; Marco Mezzalama (Microprocess. Microsystems, 1990)

An algebraic approach to test generation for sequential circuits. - Antonio Lioy; Enrico Macii; Angelo Raffaele Meo; Matteo Sonza Reorda (Great Lakes Symposium on VLSI, 1991)

A hierarchical multi-level test generation system. - Antonio Lioy; Massimo Poncino (Great Lakes Symposium on VLSI, 1991)

Looking for Functional Fault Equivalence. - Antonio Lioy (ITC, 1991)

Test generation in a distributed environment. - E. Calia; Antonio Lioy (SPDP, 1991)

Advanced Fault Collapsing (Logic Circuits Testing). - Antonio Lioy (IEEE Des. Test Comput., 1992)

A quadratic programming approach to estimating the testability and coverage distributions of a VLSI circuit. - Hassan A. Farhat; Steven G. From; Antonio Lioy (Microprocess. Microprogramming, 1992)

On the Resetability of Synchronous Sequential Circuits. - Antonio Lioy; Massimo Poncino (ISCAS, 1993)

A study of the resetability of synchronous sequential circuits. - Antonio Lioy; Massimo Poncino (Microprocess. Microprogramming, 1993)

On the Equivalence of Fanout-Point Faults. - Antonio Lioy (IEEE Trans. Computers, 1993)

Testing redundant asynchronous circuits by variable phase splitting. - Luciano Lavagno; Antonio Lioy; Michael Kishinevsky (EURO-DAC, 1994)

A parallel approach to symbolic traversal based on set partitioning. - Gianpiero Cabodi; Paolo Camurati; Antonio Lioy; Massimo Poncino; Stefano Quer (CHARME, 1997)

Accurate Entropy Calculation for Large Logic Circuits Based on Output Clustering. - Antonio Lioy; Enrico Macii; Massimo Poncino; Massimo Rossello (Great Lakes Symposium on VLSI, 1997)

Secure document management and distribution in an open network environment. - Antonio Lioy; Fabio Maino; Marco Mezzalama (ICICS, 1997)

Non-intrusive authentication. - Daniel Alberto Galliano; Antonio Lioy; Fabio Maino (SEC, 1997)

Computational Kernels and their Application to Sequential Power Optimization. - Luca Benini; Giovanni De Micheli; Antonio Lioy; Enrico Macii; Giuseppe Odasso; Massimo Poncino (DAC, 1998)

Timed Supersetting and the Synthesis of Telescopic Units. - Luca Benini; Giovanni De Micheli; Antonio Lioy; Enrico Macii; Giuseppe Odasso; Massimo Poncino (Great Lakes Symposium on VLSI, 1998)

A Component-based Infrastructure for Building Cluster Management and Monitoring Tools. - Bogdan Costinescu; Dan Dragomirescu; Antonio Lioy; Cristian Marinescu (PDPTA, 1999)

Automatic Synthesis of Large Telescopic Units Based on Near-Minimum Timed Supersetting. - Luca Benini; Giovanni De Micheli; Antonio Lioy; Enrico Macii; Giuseppe Odasso; Massimo Poncino (IEEE Trans. Computers, 1999)

Security policy system: status and perspective. - Madalina Baltatu; Antonio Lioy; Daniele Mazzocchi (ICON, 2000)

A Flexible Management Framework for Certificate Status Validation. - Antonio Corradi; Rebecca Montanari; Cesare Stefanelli; Diana Berbecaru; Antonio Lioy; Fabio Maino (SEC, 2000)

Security issues in control, management and routing protocols. - Madalina Baltatu; Antonio Lioy; Fabio Maino; Daniele Mazzocchi (Comput. Networks, 2000)

Towards a policy system for IPsec: issues and an experimental implementation. - Madalina Baltatu; Antonio Lioy; Dario Lombardo; Daniele Mazzocchi (ICON, 2001)

On the Complexity of Public-Key Certificate Validation. - Diana Berbecaru; Antonio Lioy; Marius Marian (ISC, 2001)

Synthesis of power-managed sequential components based oncomputational kernel extraction. - Luca Benini; Giovanni De Micheli; Antonio Lioy; Enrico Macii; Giuseppe Odasso; Massimo Poncino (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001)

Secure Digital Administration in Medical Environment. - Diana Berbecaru; Antonio Lioy; Marius Marian; Diana Marano (ICWI, 2002)

Security aspects in standard certificate revocation mechanisms: a case study for OCSP. - Diana Berbecaru; Antonio Lioy; Marius Marian (ISCC, 2002)

Multiple electronic signatures on multiple documents. - Antonio Lioy; Gianluca Ramunno (EGCDMAS, 2004)

The EuroPKI Experience. - Antonio Lioy; Marius Marian; Natalia Moltchanova; Massimiliano Pala (EuroPKI, 2004)

Preliminary Steps in Designing and Implementing a Privilege Verifier for PMI. - Diana Berbecaru; Antonio Lioy (ICWI, 2004)

Decentralised Access Control in 802.11 Networks. - Marco Domenico Aime; Antonio Lioy; Gianluca Ramunno (Communications and Multimedia Security, 2005)

Motivations for a Theoretical Approach to WYSIWYS. - Antonio Lioy; Gianluca Ramunno; Marco Domenico Aime; Massimiliano Pala (Communications and Multimedia Security, 2005)

The Wireless Opaque Channel to Contrast Information Leakage. - Marco Domenico Aime; Andrea S. Atzeni; Antonio Lioy (WOWMOM, 2005)

Incremental Trust: Building Trust from Past Experience. - Marco Domenico Aime; Antonio Lioy (WOWMOM, 2005)

Fighting E-Mail Abuses: The EMPE Approach. - Massimiliano Pala; Antonio Lioy (EuroPKI, 2006)

A Wireless Distributed Intrusion Detection System and a New Attack Model. - Marco Domenico Aime; Giorgio Calandriello; Antonio Lioy (ISCC, 2006)

Security Analysis and Configuration of Large Networks. - Antonio Lioy (ISSE, 2006)

PKI past, present and future. - Antonio Lioy; Marius Marian; Natalia Moltchanova; Massimiliano Pala (Int. J. Inf. Sec., 2006)

Why to adopt a security metric? A brief survey. - Andrea S. Atzeni; Antonio Lioy (Quality of Protection, 2006)

On the Robustness of Applications Based on the SSL and TLS Security Protocols. - Diana Berbecaru; Antonio Lioy (EuroPKI, 2007)

An Estimation of Attack Surface to Evaluate Network (in)security. - Andrea S. Atzeni; Antonio Lioy (ICEIS (3), 2007)

Efficient and robust pseudonymous authentication in VANET. - Giorgio Calandriello; Panos Papadimitratos; Jean-Pierre Hubaux; Antonio Lioy (Vehicular Ad Hoc Networks, 2007)

POSITIF: A Policy-Based Security Management System. - Cataldo Basile; Antonio Lioy; Gregorio Martínez Pérez; Félix J. García Clemente; Antonio Fernandez Gómez-Skarmeta (POLICY, 2007)

Dependability in Wireless Networks: Can We Rely on WiFi? - Marco Domenico Aime; Giorgio Calandriello; Antonio Lioy (IEEE Secur. Priv., 2007)

Trusted-Computing Technologies for the Protection of Critical Information Systems. - Antonio Lioy; Gianluca Ramunno; Davide Vernizzi (CISIS, 2008)

Geometric Interpretation of Policy Specification. - Cataldo Basile; Alberto Cappadonia; Antonio Lioy (POLICY, 2008)

Impact of Vehicular Communications Security on Transportation Safety - Panos Papadimitratos; Giorgio Calandriello; Jean-Pierre Hubaux; Antonio Lioy (CoRR, 2008)

Ontology-Based Policy Translation. - Cataldo Basile; Antonio Lioy; Salvatore Scozzi; Marco Vallini (CISIS, 2009)

MagicNET: XACML authorization policies for mobile agents. - Alessandro Giambruno; Muhammad Awais Shibli; Sead Muftic; Antonio Lioy (ICITST, 2009)

MagicNET: Security System for Development, Validation and Adoption of Mobile Agents. - Muhammad Awais Shibli; Sead Muftic; Alessandro Giambruno; Antonio Lioy (NSS, 2009)

A unified and flexible solution for integrating CRL and OCSP into PKI applications. - Diana Berbecaru; Amarkumar Desai; Antonio Lioy (Softw. Pract. Exp., 2009)

Towards a Network-Independent Policy Specification. - Cataldo Basile; Antonio Lioy; Marco Vallini (PDP, 2010)

The ForwardDiffSig Scheme for Multicast Authentication. - Diana Berbecaru; Luca Albertalli; Antonio Lioy (IEEE/ACM Trans. Netw., 2010)

Trusted Computing. - Antonio Lioy; Gianluca Ramunno (Handbook of Information and Communication Security, 2010)

On scalability of remote attestation. - Emanuele Cesena; Gianluca Ramunno; Roberto Sassu; Davide Vernizzi; Antonio Lioy (STC@CCS, 2011)

Exploiting Proxy-Based Federated Identity Management in Wireless Roaming Access. - Diana Berbecaru; Antonio Lioy; Marco Domenico Aime (TrustBus, 2011)

The Trusted Platform Agent. - Giovanni Cabiddu; Emanuele Cesena; Roberto Sassu; Davide Vernizzi; Gianluca Ramunno; Antonio Lioy (IEEE Softw., 2011)

On the Performance of Secure Vehicular Communication Systems. - Giorgio Calandriello; Panos Papadimitratos; Jean-Pierre Hubaux; Antonio Lioy (IEEE Trans. Dependable Secur. Comput., 2011)

Automatic (Re)Configuration of IT Systems for Dependability. - Marco Domenico Aime; Antonio Lioy; Paolo Carlo Pomi (IEEE Trans. Serv. Comput., 2011)

The PoSecCo Security Decision Support System. - Cataldo Basile; Antonio Lioy; Stefano Paraboschi (ISSE, 2012)

Network-Level Access Control Policy Analysis and Transformation. - Cataldo Basile; Alberto Cappadonia; Antonio Lioy (IEEE/ACM Trans. Netw., 2012)

Privacy-by-design cloud computing through decentralization and real life trust. - Leucio Antonio Cutillo; Antonio Lioy (P2P, 2013)

Improved Reachability Analysis for Security Management. - Cataldo Basile; Daniele Canavese; Antonio Lioy; Christian Pitscheider (PDP, 2013)

Towards Privacy-by-Design Peer-to-Peer Cloud Computing. - Leucio Antonio Cutillo; Antonio Lioy (TrustBus, 2013)

FcgiOCSP: a scalable OCSP-based certificate validation system exploiting the FastCGI interface. - Diana Berbecaru; Matteo Maria Casalino; Antonio Lioy (Softw. Pract. Exp., 2013)

Inter-technology Conflict Analysis for Communication Protection Policies. - Cataldo Basile; Daniele Canavese; Antonio Lioy; Fulvio Valenza (CRiSIS, 2014)

Exploiting the Network for Securing Personal Devices. - Chris Dalton; Antonio Lioy; Diego R. López; Fulvio Risso; Roberto Sassu (CSP Forum, 2014)

Practical Assessment of Biba Integrity for TCG-Enabled Platforms. - Roberto Sassu; Gianluca Ramunno; Antonio Lioy (TrustCom, 2014)

The Trust Problem in Modern Network Infrastructures. - Ludovic Jacquin; Antonio Lioy; Diego R. López; Adrian L. Shaw; Tao Su (CSP Forum, 2015)

A novel approach for integrating security policy enforcement with dynamic network virtualization. - Cataldo Basile; Antonio Lioy; Christian Pitscheider; Fulvio Valenza; Marco Vallini (NetSoft, 2015)

Offloading personal security applications to a secure and trusted network node. - Roberto Bonafiglia; Francesco Ciaccia; Antonio Lioy; Mario Nemirovsky; Fulvio Risso; Tao Su (NetSoft, 2015)

A Formal Model of Policy Reconciliation. - Cataldo Basile; Antonio Lioy; Christian Pitscheider; Shilong Zhao (PDP, 2015)

A formal model of network policy analysis. - Fulvio Valenza; Serena Spinoso; Cataldo Basile; Riccardo Sisto; Antonio Lioy (RTSI, 2015)

Virtualized security at the network edge: a user-centric approach. - Diego Montero; Marcelo Yannuzzi; Adrian L. Shaw; Ludovic Jacquin; Antonio Pastor 001; René Serral-Gracià; Antonio Lioy; Fulvio Risso; Cataldo Basile; Roberto Sassu; Mario Nemirovsky; Francesco Ciaccia; et al. (IEEE Commun. Mag., 2015)

Exploiting the European Union trusted service status list for certificate validation in STORK: design, implementation, and lessons learnt. - Diana Berbecaru; Antonio Lioy (Softw. Pract. Exp., 2015)

Analysis of Application-Layer Filtering Policies With Application to HTTP. - Cataldo Basile; Antonio Lioy (IEEE/ACM Trans. Netw., 2015)

Online and Offline Security Policy Assessment. - Fulvio Valenza; Marco Vallini; Antonio Lioy (MIST@CCS, 2016)

On the design, implementation and integration of an Attribute Provider in the Pan-European eID infrastructure. - Diana Berbecaru; Antonio Lioy (ISCC, 2016)

Efficient Attribute Management in a Federated Identity Management Infrastructure. - Diana Berbecaru; Antonio Lioy (PDP, 2016)

Towards Automatic Risk Analysis and Mitigation of Software Applications. - Leonardo Regano; Daniele Canavese; Cataldo Basile; Alessio Viticchié; Antonio Lioy (WISTP, 2016)

Inter-function anomaly analysis for correct SDN/NFV deployment. - Cataldo Basile; Daniele Canavese; Antonio Lioy; Christian Pitscheider; Fulvio Valenza (Int. J. Netw. Manag., 2016)

Remotely Assessing Integrity of Software Applications by Monitoring Invariants: Present Limitations and Future Directions. - Alessio Viticchié; Cataldo Basile; Antonio Lioy (CRiSIS, 2017)

The FICEP Infrastructure - How We Deployed the Italian eIDAS Node in the Cloud. - Paolo Smiraglia; Marco de Benedictis; Andrea S. Atzeni; Antonio Lioy; Massimiliano Pucciarelli (e-Democracy, 2017)

SHIELD: A novel NFV-based cybersecurity framework. - Georgios Gardikis; K. Tzoulas; K. Tripolitis; A. Bartzas; Socrates Costicoglou; Antonio Lioy; Bernat Gastón; Carolina Fernandez; Cristian Dávila; Antonios Litke; Nikolaos Papadakis; Dimitris Papadopoulos; et al. (NetSoft, 2017)

On the establishment of trust in the cloud-based ETSI NFV framework. - Marco de Benedictis; Antonio Lioy (NFV-SDN, 2017)

NFV-based network protection: The SHIELD approach. - Antonio Lioy; Georgios Gardikis; Bernat Gastón; Ludovic Jacquin; Marco de Benedictis; Y. Angelopoulos; C. Xylouris (NFV-SDN, 2017)

Towards Optimally Hiding Protected Assets in Software Applications. - Leonardo Regano; Daniele Canavese; Cataldo Basile; Antonio Lioy (QRS, 2017)

Assessing network authorization policies via reachability analysis. - Cataldo Basile; Daniele Canavese; Christian Pitscheider; Antonio Lioy; Fulvio Valenza (Comput. Electr. Eng., 2017)

A formal approach for network security policy validation. - Fulvio Valenza; Tao Su; Serena Spinoso; Antonio Lioy; Riccardo Sisto; Marco Vallini (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Classification and Analysis of Communication Protection Policy Anomalies. - Fulvio Valenza; Cataldo Basile; Daniele Canavese; Antonio Lioy (IEEE/ACM Trans. Netw., 2017)

SHIELD: Securing Against Intruders and Other Threats Through an NFV-Enabled Environment. - Hamza Attak; Marco Casassa Mont; Cristian Dávila; Eleni-Constantina Davri; Carolina Fernandez 001; Georgios Gardikis; Bernat Gastón; Ludovic Jacquin; Antonio Lioy; Antonis Litke; Nikolaos K. Papadakis; Dimitris Papadopoulos; et al. (Guide to Security in SDN and NFV, 2017)

Trust in SDN/NFV Environments. - Antonio Lioy; Tao Su; Adrian L. Shaw; Hamza Attak; Diego R. López; Antonio Pastor 001 (Guide to Security in SDN and NFV, 2017)

Container-based design of a Virtual Network Security Function. - Marco de Benedictis; Antonio Lioy; Paolo Smiraglia (NetSoft, 2018)

User-oriented Network Security Policy Specification. - Fulvio Valenza; Antonio Lioy (J. Internet Serv. Inf. Secur., 2018)

On the impossibility of effectively using likely-invariants for software attestation purposes. - Alessio Viticchié; Cataldo Basile; Fulvio Valenza; Antonio Lioy (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2018)

Authorize-then-Authenticate: Supporting Authorization Decisions Prior to Authentication in an Electronic Identity Infrastructure. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (IDC, 2019)

A proposal for trust monitoring in a Network Functions Virtualisation Infrastructure. - Marco de Benedictis; Antonio Lioy (NetSoft, 2019)

Towards Simplifying PKI Implementation: Client-Server based Validation of Public Key Certificates. - Diana Berbecaru; Antonio Lioy (CoRR, 2019)

A Framework for Secure Digital Administration. - Diana Berbecaru; Antonio Lioy; Marius Marian (CoRR, 2019)

Integrity verification of Docker containers for a lightweight cloud environment. - Marco de Benedictis; Antonio Lioy (Future Gener. Comput. Syst., 2019)

Electronic Identification for Universities: Building Cross-Border Services Based on the eIDAS Infrastructure. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (Inf., 2019)

Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions. - Ignazio Pedone; Antonio Lioy; Fulvio Valenza (Secur. Commun. Networks, 2019)

Providing digital identity and academic attributes through European eID infrastructures: Results achieved, limitations, and future steps. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (Softw. Pract. Exp., 2019)

Adding Support for Automatic Enforcement of Security Policies in NFV Networks. - Cataldo Basile; Fulvio Valenza; Antonio Lioy; Diego R. López; Antonio Pastor Perales (IEEE/ACM Trans. Netw., 2019)

Providing Login and Wi-Fi Access Services With the eIDAS Network: A Practical Approach. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (IEEE Access, 2020)

Detection of Encrypted Cryptomining Malware Connections With Machine and Deep Learning. - Antonio Pastor 001; Alberto Mozo; Stanislav Vakaruk; Daniele Canavese; Diego R. López; Leonardo Regano; Sandra Gómez Canaval; Antonio Lioy (IEEE Access, 2020)

Towards a secure and lightweight network function virtualisation environment. - Marco de Benedictis; Antonio Lioy; Paolo Smiraglia (Int. J. Grid Util. Comput., 2020)

Supporting Authorize-then-Authenticate for Wi-Fi access based on an electronic identity infrastructure. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2020)

Attack Strategies and Countermeasures in Transport-Based Time Synchronization Solutions. - Diana Gratiela Berbecaru; Antonio Lioy (IDC, 2021)

Practical Autonomous Cyberhealth for resilient Micro, Small and Medium-sized Enterprises. - Evangelos Mantas; Dimitris Papadopoulos; Carolina Fernández 001; Nil Ortiz; Maxime Compastié; Antonio López Martínez; Manuel Gil Pérez; Akis Kourtis; George Xylouris; Izidor Mlakar; Stylianos Tsarsitalidis; Dimitrios Klonidis; et al. (MeditCom, 2021)

On Enabling Additional Natural Person and Domain-Specific Attributes in the eIDAS Network. - Diana Berbecaru; Antonio Lioy; Cesare Cameroni (IEEE Access, 2021)

Toward a Complete Software Stack to Integrate Quantum Key Distribution in a Cloud Environment. - Ignazio Pedone; Andrea S. Atzeni; Daniele Canavese; Antonio Lioy (IEEE Access, 2021)

Cybersecurity in ICT Supply Chains: Key Challenges and a Relevant Architecture. - Xavi Masip-Bruin; Eva Marín-Tordera; José Ruiz; Admela Jukan; Panagiotis Trakadas; Ales Cernivec; Antonio Lioy; Diego R. López; Henrique Santos 001; Antonis Gonos; Ana Silva; José Soriano; et al. (Sensors, 2021)

PALANTIR: Zero-Trust Architecture for Managed Security Service Provider. - Maxime Compastié; Silvia Sisinni; Supreshna Gurung; Carolina Fernández 001; Ludovic Jacquin; Izidor Mlakar; Valentino Safran; Antonio Lioy; Ignazio Pedone (C&ESAR, 2022)

Computer-Aided Reverse Engineering of Protected Software. - Daniele Canavese; Leonardo Regano; Antonio Lioy (CyberSec4Europe, 2022)

(POSTER) Using MACsec to protect a Network Functions Virtualisation infrastructure. - Antonio Lioy; Ignazio Pedone; Silvia Sisinni (ISCC, 2022)

PALANTIR demo: leveraging SecaaS model for managing threats in industrial environments. - Carolina Fernández 001; Davide Sanvito; Orestis Kompougias; Valentino Safran; Maxime Compastié; Ignazio Pedone; Antonio López Martínez; Manuel Gil Pérez; Akis Kourtis; George Xylouris; Izidor Mlakar; Stylianos Tsarsitalidis; et al. (MeditCom, 2022)

A model of capabilities of Network Security Functions. - Cataldo Basile; Daniele Canavese; Leonardo Regano; Ignazio Pedone; Antonio Lioy (NetSoft, 2022)

Encryption-agnostic classifiers of traffic originators and their application to anomaly detection. - Daniele Canavese; Leonardo Regano; Cataldo Basile; Gabriele Ciravegna; Antonio Lioy (Comput. Electr. Eng., 2022)

Quantum Key Distribution in Kubernetes Clusters. - Ignazio Pedone; Antonio Lioy (Future Internet, 2022)

Integrity Verification of Distributed Nodes in Critical Infrastructures. - Silvia Sisinni; Davide Margaria; Ignazio Pedone; Antonio Lioy; Andrea Vesco (Sensors, 2022)

A Flexible Trust Manager for Remote Attestation in Heterogeneous Critical Infrastructures. - Enrico Bravi; Diana Gratiela Berbecaru; Antonio Lioy (CloudCom, 2023)

A Model for Automated Cybersecurity Threat Remediation and Sharing. - Francesco Settanni; Leonardo Regano; Cataldo Basile; Antonio Lioy (NetSoft, 2023)

An Evaluation of X.509 Certificate Revocation and Related Privacy Issues in the Web PKI Ecosystem. - Diana Gratiela Berbecaru; Antonio Lioy (IEEE Access, 2023)

Mitigating Software Integrity Attacks With Trusted Computing in a Time Distribution Network. - Diana Gratiela Berbecaru; Silvia Sisinni; Antonio Lioy; Benoit Rat; Davide Margaria; Andrea Vesco (IEEE Access, 2023)

Threat-TLS: A Tool for Threat Identification in Weak, Malicious, or Suspicious TLS Connections. - Diana Gratiela Berbecaru; Antonio Lioy (ARES, 2024)

SAFEHIVE: Secure Attestation Framework for Embedded and Heterogeneous IoT Devices in Variable Environments. - Lorenzo Ferro; Enrico Bravi; Silvia Sisinni; Antonio Lioy (SAT-CPS@CODASPY, 2024)

Shaping a Quantum-Resistant Future: Strategies for Post-Quantum PKI. - Grazia D'Onghia; Diana Gratiela Berbecaru; Antonio Lioy (ISCC, 2024)

MATCH-IN: Mutual Attestation for Trusted Collaboration in Heterogeneous IoT Networks. - Silvia Sisinni; Diana Gratiela Berbecaru; Valerio Donnini; Antonio Lioy (ISCC, 2024)

IKE-less IPsec: Enhancing Security for IoT Device Networks. - Flavio Ciravegna; Giacomo Bruno; Antonio Lioy (ITASEC, 2024)

Standard-Based Remote Attestation: The Veraison Project. - Lorenzo Ferro; Antonio Lioy (ITASEC, 2024)

Securing 5G: Trusted Execution Environments for Centrally Controlled IPsec Integrity. - Grazia D'Onghia; Flavio Ciravegna; Giacomo Bruno; Mattin Antartiko Elorza Forcada; Antonio Pastor; Antonio Lioy (IFIP Networking, 2024)

Integrity Management in Softwarized Networks. - Enrico Bravi; Antonio Lioy; Diana Gratiela Berbecaru (NOMS, 2024)

A novel architecture to virtualise a hardware-bound trusted platform module. - Marco de Benedictis; Ludovic Jacquin; Ignazio Pedone; Andrea S. Atzeni; Antonio Lioy (Future Gener. Comput. Syst., 2024)

Implementation of the TCG DICE Specification Into the Keystone TEE Framework. - Enrico Bravi; Silvia Sisinni; Lorenzo Ferro; Valerio Donnini; Antonio Lioy (IEEE Access, 2025)