:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Logrippo, Luigi
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2403.07226
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip
by: Logrippo, Luigi
Published: (2025)

Compositional security definitions for higher-order where declassification
by: Menz, Jan, et al.
Published: (2026)

Blockchain security for ransomware detection
by: Mutombo, Elodie Ngoie, et al.
Published: (2024)

Unconditional foundations for supersingular isogeny-based cryptography
by: Merdy, Arthur Herlédan Le, et al.
Published: (2025)

Multi-channel secure communication framework for wireless IoT (MCSC-WoT): enhancing security in Internet of Things
by: Barman, Prokash, et al.
Published: (2025)

Uncertainty in security: managing cyber senescence
by: Dekker, Martijn
Published: (2025)

Hash chaining degrades security at Facebook
by: Rivasseau, Thomas
Published: (2025)

On the security of 2-key triple DES
by: Mitchell, Chris J
Published: (2016)

A theoretical basis for MEV
by: Bartoletti, Massimo, et al.
Published: (2023)

A security framework for Ethereum smart contracts
by: Vivar, Antonio López, et al.
Published: (2024)

On the (In)security of optimized Stern-like signature schemes
by: Chailloux, André, et al.
Published: (2024)

Blockchain security based on cryptography: a review
by: Zhou, Wenwen, et al.
Published: (2025)

Towards a DSL for hybrid secure computation
by: de Laage, Romain
Published: (2025)

Electric Democracy: Proof of Work to secure Elections
by: Zuevsky, Vitaly
Published: (2022)

An Information-theoretic Security Analysis of Honeyword
by: Su, Pengcheng, et al.
Published: (2023)

Ejafa_protocol: A custom INC secure protocol
by: Bassam, Ejafa
Published: (2024)

Cyber security of OT networks: A tutorial and overview
by: Kapoor, Sarthak, et al.
Published: (2025)

On the (in)security of Proofs-of-Space based Longest-Chain Blockchains
by: Baig, Mirza Ahad, et al.
Published: (2025)

Information-theoretic Estimation of the Risk of Privacy Leaks
by: Odoh, Kenneth
Published: (2025)

A new measure for dynamic leakage based on quantitative information flow
by: Soares, Luigi D. C., et al.
Published: (2025)

The current state of security -- Insights from the German software industry
by: Langstrof, Timo, et al.
Published: (2024)

POSTER: Testing network-based RTK for GNSS receiver security
by: Spanghero, Marco, et al.
Published: (2024)

A quantitative notion of economic security for smart contract compositions
by: Priyadarshini, Emily, et al.
Published: (2025)

Testing side-channel security of cryptographic implementations against future microarchitectures
by: Barthe, Gilles, et al.
Published: (2024)

Presenting a new approach in security in inter-vehicle networks (VANET)
by: Yousefi, Davoud, et al.
Published: (2024)

Development and analysis of a secured VoIP system for surveillance activities
by: Ali, M. Matsive
Published: (2025)

Homomorphic Polynomial Public Key Cryptography for Quantum-secure Digital Signature
by: Kuang, Randy, et al.
Published: (2023)

Lockcoin: a secure and privacy-preserving mix service for bitcoin anonymity
by: Bao, Zijian, et al.
Published: (2018)

Connectedness: a dimension of security bug severity assessment for measuring uncertainty
by: Chan, Shue Long
Published: (2025)

Leveraging Blockchain and Proxy Re-Encryption to secure Medical IoT Records
by: Jabri, Abdou-Essamad, et al.
Published: (2025)

sec-certs: Examining the security certification practice for better vulnerability mitigation
by: Janovsky, Adam, et al.
Published: (2023)

Proactive security defense: cyber threat intelligence modeling for connected autonomous vehicles
by: Wang, Yinghui, et al.
Published: (2024)

Diamond: End-to-End Forward-secure and Compact Authenticated Encryption for Internet of Things
by: Nouma, Saif E., et al.
Published: (2026)

Large deviation analysis for quantum security via smoothing of Renyi entropy of order 2
by: Hayashi, Masahito
Published: (2012)

An Experimental Evaluation of TEE technology Evolution: Benchmarking Transparent Approaches based on SGX, SEV, and TDX
by: Coppolino, Luigi, et al.
Published: (2024)

The impact of mobility, beam sweeping and smart jammers on security vulnerabilities of 5G cells
by: Asemian, Ghazal, et al.
Published: (2024)

Authentication and identity management based on zero trust security model in micro-cloud environment
by: Kovacevic, Ivana, et al.
Published: (2024)

nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
by: Mishra, Rahul, et al.
Published: (2025)

The impact of quantum computing on real-world security: A 5G case study
by: Mitchell, Chris J
Published: (2019)

On the composable security of weak coin flipping
by: Wu, Jiawei, et al.
Published: (2024)