:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sandu, Ioana, Borgo, Rita, Dasgupta, Prokar, Thurairaja, Ramesh, Viganò, Luca
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2408.05001
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
by: Quamara, Megha, et al.
Published: (2025)

APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users
by: Desolda, Giuseppe, et al.
Published: (2024)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
by: Villa, Federico, et al.
Published: (2026)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
by: Nabeel, Mohammed, et al.
Published: (2022)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
by: Sindala, Boniface M., et al.
Published: (2025)

On Kernel's Safety in the Spectre Era (Extended Version)
by: Davoli, Davide, et al.
Published: (2024)

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)
by: Won, Jun Yeon, et al.
Published: (2026)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
by: Lago, Ugo Dal, et al.
Published: (2024)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
by: Capretto, Margarita, et al.
Published: (2025)

Can Large Language Models Automate Phishing Warning Explanations? A Controlled Experiment on Effectiveness and User Perception
by: Cau, Federico Maria, et al.
Published: (2025)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
by: Bursuc, Sergiu, et al.
Published: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
by: Lei, Chongqing, et al.
Published: (2025)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
by: Davoli, Davide, et al.
Published: (2024)

Snorkeling in dark waters: A longitudinal surface exploration of unique Tor Hidden Services (Extended Version)
by: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Published: (2025)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
by: Zhao, Zirui Neil, et al.
Published: (2024)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
by: Jallow, Alfusainey, et al.
Published: (2025)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
by: Wang, Shan, et al.
Published: (2025)

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
by: Dasgupta, Aritra, et al.
Published: (2025)

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
by: Song, Shixin, et al.
Published: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
by: Rahat, Tamjid Al, et al.
Published: (2025)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
by: Winderix, Hans, et al.
Published: (2024)

Extending XReason: Formal Explanations for Adversarial Detection
by: Jemaa, Amira, et al.
Published: (2024)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
by: Hajiabadi, Ali, et al.
Published: (2024)

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version]
by: Cortellazzi, Jacopo, et al.
Published: (2019)

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
by: Bao, Wenxuan, et al.
Published: (2025)

MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models
by: Collini, Luca, et al.
Published: (2025)

Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach
by: Mohammed, Jawad, et al.
Published: (2026)

Time will Tell: Large-scale De-anonymization of Hidden I2P Services via Live Behavior Alignment (Extended Version)
by: Wang, Hongze, et al.
Published: (2025)

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction
by: Dasgupta, Aritra, et al.
Published: (2026)

ARM MTE Performance in Practice (Extended Version)
by: Noh, Taehyun, et al.
Published: (2026)

On the Formalization of Cryptographic Migration
by: Loebenberger, Daniel, et al.
Published: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
by: Bella, Giampaolo, et al.
Published: (2021)

Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
by: Mutha, Adi, et al.
Published: (2025)

Analysing Attacks on Blockchain Systems in a Layer-based Approach
by: Das, Joydip, et al.
Published: (2024)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Zero Trust Cybersecurity: Procedures and Considerations in Context
by: Lund, Brady D., et al.
Published: (2025)

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
by: Basile, Cataldo, et al.
Published: (2024)