Copertina

The order-theoretical foundation for data flow security

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Logrippo, Luigi
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

A theoretical basis for MEV
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

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

Uncertainty in security: managing cyber senescence
di: Dekker, Martijn
Pubblicazione: (2025)

Hash chaining degrades security at Facebook
di: Rivasseau, Thomas
Pubblicazione: (2025)

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

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

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

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

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

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

Towards a DSL for hybrid secure computation
di: de Laage, Romain
Pubblicazione: (2025)

Electric Democracy: Proof of Work to secure Elections
di: Zuevsky, Vitaly
Pubblicazione: (2022)

Ejafa_protocol: A custom INC secure protocol
di: Bassam, Ejafa
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
di: Múzquiz, Gorka Guardiola, et al.
Pubblicazione: (2025)

Attack Tree Distance: a practical examination of tree difference measurement within cyber security
di: Schiele, Nathan D., et al.
Pubblicazione: (2025)