Gerardo Pelosi

Proceedings of the IEEE International Symposium on Information Theory, 2024

A High Efficiency Hardware Design for the Post-Quantum KEM HQC.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2024

Design of a Quantum Walk Circuit to Solve the Subset-Sum Problem.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Investigating the Health State of X.509 Digital Certificates.

[BibT_eX]

[DOI]

Simone Orlando

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

Quantum Circuit Design for the Lee-Brickell Based Information Set Decoding.

[BibT_eX]

[DOI]

Simone Perriello

Proceedings of the Applied Cryptography and Network Security Workshops, 2024

A Versatile and Unified HQC Hardware Accelerator.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security Workshops, 2024

2023

Quantum Computing Research Lines in the Italian Center for Supercomputing.

[BibT_eX]

[DOI]

Paolo Cremonesi

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

An Efficient Unified Architecture for Polynomial Multiplications in Lattice-Based Cryptoschemes.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Fault Attacks Friendliness of Post-quantum Cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2023

A Non Profiled and Profiled Side Channel Attack Countermeasure through Computation Interleaving.

[BibT_eX]

[DOI]

Isabella Piacentini

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

A Flexible ASIC-Oriented Design for a Full NTRU Accelerator.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Profiled side channel attacks against the RSA cryptosystem using neural networks.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2022

Locating Side Channel Leakage in Time through Matched Filters.

[BibT_eX]

[DOI]

Gioele Falcetti

Cryptogr., 2022

2021

Performance bounds for QC-MDPC codes decoders.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Exploring Cortex-M Microarchitectural Side Channel Information Leakage.

[BibT_eX]

[DOI]

IEEE Access, 2021

Metis: An Integrated Morphing Engine CPU to Protect Against Side Channel Attacks.

[BibT_eX]

[DOI]

Francesco Antognazza

IEEE Access, 2021

A Quantum Circuit to Speed-Up the Cryptanalysis of Code-Based Cryptosystems.

[BibT_eX]

[DOI]

Simone Perriello

Proceedings of the Security and Privacy in Communication Networks, 2021

Improving Work Life Conditions via Portable Knowledge-Driven Recommender System (Discussion Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

A Complete Quantum Circuit to Solve the Information Set Decoding Problem.

[BibT_eX]

[DOI]

Simone Perriello

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

Profiled Attacks Against the Elliptic Curve Scalar Point Multiplication Using Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 15th International Conference, 2021

2020

Dataset related to Analysis of Decoding Failures of LDPC and MDPC Codes in Out-of-Place Bit Flipping Decoding.

[BibT_eX]

[DOI]

Dataset, October, 2020

Scramble Suit: A Profile Differentiation Countermeasure to Prevent Template Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Compiler-Based Techniques to Secure Cryptographic Embedded Software Against Side-Channel Attacks.

[BibT_eX]

[DOI]

Rosa Maria Resende de Almeida

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Decision Support Systems to Promote Health and Well-Being of People During Their Working Age: The Case of the WorkingAge EU Project.

[BibT_eX]

[DOI]

Adriana Grau Aberturas

Carlos Alberto Catalina Ortega

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2020

Analysis of In-Place Randomized Bit-Flipping Decoders for the Design of LDPC and MDPC Code-Based Cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications, 2020

A Failure Rate Model of Bit-flipping Decoders for QC-LDPC and QC-MDPC Code-based Cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Integrating Side Channel Security in the FPGA Hardware Design Flow.

[BibT_eX]

[DOI]

Proceedings of the Constructive Side-Channel Analysis and Secure Design, 2020

A comprehensive analysis of constant-time polynomial inversion for post-quantum cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

Constant weight strings in constant time: a building block for code-based post-quantum cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

Efficient Oblivious Substring Search via Architectural Support.

[BibT_eX]

[DOI]

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2019

A Code-specific Conservative Model for the Failure Rate of Bit-flipping Decoding of LDPC Codes with Cryptographic Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Plaintext recovery attacks against linearly decryptable fully homomorphic encryption schemes.

[BibT_eX]

[DOI]

Comput. Secur., 2019

A Finite Regime Analysis of Information Set Decoding Algorithms.

[BibT_eX]

[DOI]

Algorithms, 2019

Accelerating Automotive Analytics: The M2DC Appliance Approach.

[BibT_eX]

[DOI]

Gaetan Des Courchamps

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

Evaluating the Trade-offs in the Hardware Design of the LEDAcrypt Encryption Functions.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

A secure and authenticated host-to-memory communication interface.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

LEDAcrypt: QC-LDPC Code-Based Cryptosystems with Bounded Decryption Failure Rate.

[BibT_eX]

[DOI]

Proceedings of the Code-Based Cryptography - 7th International Workshop, 2019

Privacy preserving substring search protocol with polylogarithmic communication cost.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

A Comprehensive Side-Channel Information Leakage Analysis of an In-Order RISC CPU Microarchitecture.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2018

Three-Server Swapping for Access Confidentiality.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2018

Reactive side-channel countermeasures: Applicability and quantitative security evaluation.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2018

Enforcing authorizations while protecting access confidentiality.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

Systematic parsing of X.509: Eradicating security issues with a parse tree.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

Design and Implementation of a Digital Signature Scheme Based on Low-density Generator Matrix Codes.

[BibT_eX]

[DOI]

CoRR, 2018

LEDAkem: A Post-quantum Key Encapsulation Mechanism Based on QC-LDPC Codes.

[BibT_eX]

[DOI]

Proceedings of the Post-Quantum Cryptography - 9th International Conference, 2018

Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

OpenCL HLS Based Design of FPGA Accelerators for Cryptographic Primitives.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Comparison-Based Attacks Against Noise-Free Fully Homomorphic Encryption Schemes.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 20th International Conference, 2018

Side-channel security of superscalar CPUs: evaluating the impact of micro-architectural features.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

Access Privacy in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the From Database to Cyber Security, 2018

2017

M2DC - Modular Microserver DataCentre with heterogeneous hardware.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

An Enhanced Dataflow Analysis to Automatically Tailor Side Channel Attack Countermeasures to Software Block Ciphers.

[BibT_eX]

[DOI]

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

A Security Audit of the OpenPGP Format.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Pervasive Systems, 2017

2016

A Fault-Based Secret Key Retrieval Method for ECDSA: Analysis and Countermeasure.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2016

A privacy-preserving encrypted OSN with stateless server interaction: The Snake design.

[BibT_eX]

[DOI]

Michele Beretta

Comput. Secur., 2016

Data centres for IoT applications: The M2DC approach (Invited paper).

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Safe cooperative CPS: A V2I traffic management scenario in the SafeCOP project.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

A Note on Fault Attacks Against Deterministic Signature Schemes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2016

Encasing block ciphers to foil key recovery attempts via side channel.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

The M2DC Project: Modular Microserver DataCentre.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

V2I Cooperation for Traffic Management with SafeCop.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Access Control for the Shuffle Index.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXX, 2016

A Dynamic Tree-Based Data Structure for Access Privacy in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

Automated instantiation of side-channel attacks countermeasures for software cipher implementations.

[BibT_eX]

[DOI]

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016

2015

Shuffle Index: Efficient and Private Access to Outsourced Data.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2015

The MEET Approach: Securing Cryptographic Embedded Software Against Side Channel Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

OpenCL performance portability for general-purpose computation on graphics processor units: an exploration on cryptographic primitives.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

Cyber-security analysis and evaluation for smart home management solutions.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2015

Challenging the Trustworthiness of PGP: Is the Web-of-Trust Tear-Proof?

[BibT_eX]

[DOI]

Stefano Sanfilippo

Proceedings of the Computer Security - ESORICS 2015, 2015

Information leakage chaff: feeding red herrings to side channel attackers.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Design space extension for secure implementation of block ciphers.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2014

Simulation-Time Security Margin Assessment against Power-Based Side Channel Attacks.

[BibT_eX]

[DOI]

Francesco Regazzoni

IACR Cryptol. ePrint Arch., 2014

Differential Fault Analysis for Block Ciphers: an Automated Conservative Analysis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Security of Information and Networks, 2014

On the Security of Partially Masked Software Implementations.

[BibT_eX]

[DOI]

Proceedings of the SECRYPT 2014, 2014

Security Integration in Medical Device Design: Extension of an Automated Bio-Medical Engineering Design Methodology.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Security challenges in building automation and SCADA.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2014

Securing software cryptographic primitives for embedded systems against side channel attacks.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2014

Towards Transparently Tackling Functionality and Performance Issues across Different OpenCL Platforms.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

Snake: An End-to-End Encrypted Online Social Network.

[BibT_eX]

[DOI]

Michele Beretta

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Protecting Access Confidentiality with Data Distribution and Swapping.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

2013

A fault induction technique based on voltage underfeeding with application to attacks against AES and RSA.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Supporting concurrency and multiple indexes in private access to outsourced data.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

Secure and efficient design of software block cipher implementations on microcontrollers.

[BibT_eX]

[DOI]

Federico Terraneo

Int. J. Grid Util. Comput., 2013

Enhancing Passive Side-Channel Attack Resilience through Schedulability Analysis of Data-Dependency Graphs.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 7th International Conference, 2013

Security Analysis of Building Automation Networks - Threat Model and Viable Mitigation Techniques.

[BibT_eX]

[DOI]

Alessio Antonini

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

On Task Assignment in Data Intensive Scalable Computing.

[BibT_eX]

[DOI]

Ettore Speziale

Proceedings of the Job Scheduling Strategies for Parallel Processing, 2013

Drop-In Control Flow Hijacking Prevention through Dynamic Library Interception.

[BibT_eX]

[DOI]

Fabio Pozzi

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Distributed Shuffling for Preserving Access Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

Compiler-based side channel vulnerability analysis and optimized countermeasures application.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Injection Technologies for Fault Attacks on Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Fault Analysis in Cryptography, 2012

Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

A code morphing methodology to automate power analysis countermeasures.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Exploiting Bit-level Parallelism in GPGPUs: a Case Study on KeeLoq Exhaustive Search Attacks.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011

Secure Index.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Secure Audit Logs.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Information Leakage Discovery Techniques to Enhance Secure Chip Design.

[BibT_eX]

[DOI]

Yannick Teglia

Proceedings of the Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication, 2011

Fault attack to the elliptic curve digital signature algorithm with multiple bit faults.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Efficient and Private Access to Outsourced Data.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Supporting Concurrency in Private Data Outsourcing.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Security and Privacy in Smart Grid Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 2011 Database and Expert Systems Applications, 2011

Selective Exchange of Confidential Data in the Outsourcing Scenario.

[BibT_eX]

[DOI]

Proceedings of the Privacy and Identity Management for Life, 2011

2010

Low Voltage Fault Attacks to AES and RSA on General Purpose Processors.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Improving first order differential power attacks through digital signal processing.

[BibT_eX]

[DOI]

Yannick Teglia

Proceedings of the 3rd International Conference on Security of Information and Networks, 2010

SMaC: spatial map caching technique for mobile devices.

[BibT_eX]

[DOI]

Giuseppe Psaila

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Record Setting Software Implementation of DES Using CUDA.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Encryption-Based Policy Enforcement for Cloud Storage.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Low Voltage Fault Attacks to AES.

[BibT_eX]

[DOI]

Proceedings of the HOST 2010, 2010

Countermeasures against fault attacks on software implemented AES: effectiveness and cost.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Embedded Systems Security, 2010

Fault attack on AES with single-bit induced faults.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009

A Transform-Parametric Approach to Boolean Matching.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Fast Disk Encryption through GPGPU Acceleration.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Design of a parallel AES for graphics hardware using the CUDA framework.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Low Voltage Fault Attacks on the RSA Cryptosystem.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Fault Diagnosis and Tolerance in Cryptography, 2009

2008

A pairing SW implementation for Smart-Cards.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Parallel Hardware Architectures for the Cryptographic Tate Pairing.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2008

Preserving confidentiality of security policies in data outsourcing.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Workshop on Privacy in the Electronic Society, 2008

A FPGA Coprocessor for the Cryptographic Tate Pairing over Fp.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

Programming Highly Parallel Reconfigurable Architectures for Symmetric and Asymmetric Cryptographic Applications.

[BibT_eX]

[DOI]

J. Comput., 2007

Programming Highly Parallel Reconfigurable Architectures for Public-Key Cryptographic Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Countermeasures against Branch Target Buffer Attacks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Fault Diagnosis and Tolerance in Cryptography, 2007

A Domain Specific Language for Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

A Unified Approach to Canonical Form-based Boolean Matching.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

2006

Countermeasures for the Simple Branch Prediction Analysis.

[BibT_eX]

[DOI]