:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Winderix, Hans, Bognar, Marton, Daniel, Lesly-Ann, Piessens, Frank
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2409.03743
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
by: Dorfmeister, Daniel, et al.
Published: (2026)

Automated Fuzzing of Automotive Control Units
by: Werquin, Timothy, et al.
Published: (2021)

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

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

Towards Immutability: A Secure and Efficient Auditing Framework for Cloud Supporting Data Integrity and File Version Control
by: Bappy, Faisal Haque, et al.
Published: (2023)

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

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

CryptRISC: A Secure RISC-V Processor for High-Performance Cryptography with Power Side-Channel Protection
by: Srivastava, Amisha, et al.
Published: (2026)

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

Differentiated Security Architecture for Secure and Efficient Infotainment Data Communication in IoV Networks
by: Fan, Jiani, et al.
Published: (2024)

Balancing Security and Liquidity: A Time-Weighted Snapshot Framework for DAO Governance Voting
by: Wang, Zayn, et al.
Published: (2025)

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

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
by: Song, Shixin, et al.
Published: (2025)

Securing LLM Agents Need Intent-to-Execution Integrity
by: Qu, Wenjie, et al.
Published: (2026)

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

Securing Cloud File Systems with Trusted Execution
by: Burke, Quinn, et al.
Published: (2023)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
by: Singh, Vikash, et al.
Published: (2025)

Crypto-RV: High-Efficiency FPGA-Based RISC-V Cryptographic Co-Processor for IoT Security
by: Pham, Anh Kiet, et al.
Published: (2026)

A High Performance and Efficient Post-Quantum Crypto-Processor for FrodoKEM
by: Li, Kai, et al.
Published: (2026)

Achieving the Safety and Security of the End-to-End AV Pipeline
by: Curran, Noah T., et al.
Published: (2024)

End to End Secure Data Exchange in Value Chains with Dynamic Policy Updates
by: Mosteiro-Sanchez, Aintzane, et al.
Published: (2022)

A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems
by: Falas, Solon, et al.
Published: (2020)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
by: Qin, Kaihua, et al.
Published: (2023)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
by: Ye, Zhe, et al.
Published: (2022)

Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments
by: de Laage, Romain, et al.
Published: (2025)

Co-RedTeam: Orchestrated Security Discovery and Exploitation with LLM Agents
by: He, Pengfei, et al.
Published: (2026)

Space Fabric: A Satellite-Enhanced Trusted Execution Architecture
by: Rezabek, Filip, et al.
Published: (2026)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
by: Sandu, Ioana, et al.
Published: (2024)

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)

Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version
by: Kammüller, Florian
Published: (2025)

Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams
by: Acharya, Bhupendra, et al.
Published: (2024)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
by: Birgersson, Marcus, et al.
Published: (2024)

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

Efficient and Lightweight In-memory Computing Architecture for Hardware Security
by: Ajmi, Hala, et al.
Published: (2022)

AgentSentinel: An End-to-End and Real-Time Security Defense Framework for Computer-Use Agents
by: Hu, Haitao, et al.
Published: (2025)

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

CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment
by: Longari, Stefano, et al.
Published: (2025)

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
by: Wilde, Annika, et al.
Published: (2026)