:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Shafarenko, Alex
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Cryptography and Security C.4; H.3.1
Accesso online:	https://arxiv.org/abs/2107.08970
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Watching TV with the Second-Party: A First Look at Automatic Content Recognition Tracking in Smart TVs
di: Anselmi, Gianluca, et al.
Pubblicazione: (2024)

S3PHER: Secure and Searchable System for Patient-driven HEalth data shaRing
di: Costa, Ivan, et al.
Pubblicazione: (2024)

CEKER: A Generalizable LLM Framework for Literature Analysis with a Case Study in Unikernel Security
di: Wollman, Alex, et al.
Pubblicazione: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
di: Cheval, Vincent, et al.
Pubblicazione: (2022)

Automatic verification of Finite Variant Property beyond convergent equational theories
di: Cheval, Vincent, et al.
Pubblicazione: (2024)

RowHammer Vulnerability Counter (RVC): Redefining RowHammer Detection with Victim-Centric Tracking
di: Jain, Lavi, et al.
Pubblicazione: (2026)

Deepfake Detection in Social Media: A Temporal Artifact Analysis Using 3D Convolutional Neural Networks
di: Rashidi, Mohammadreza, et al.
Pubblicazione: (2026)

Ecosystem Trust Profiles
di: Strnadl, Christoph F.
Pubblicazione: (2026)

Who Shares What? An Empirical Analysis of Security Conference Content Across Academia and Industry
di: Walter, Lukas, et al.
Pubblicazione: (2024)

SiliconHealth: A Complete Low-Cost Blockchain Healthcare Infrastructure for Resource-Constrained Regions Using Repurposed Bitcoin Mining ASICs
di: de Lafuente, Francisco Angulo, et al.
Pubblicazione: (2026)

Non-Degenerate One-Time Pad and the integrity of perfectly secret messages
di: Shafarenko, Alex
Pubblicazione: (2024)

Winternitz stack protocols
di: Shafarenko, Alex
Pubblicazione: (2022)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2026)

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
di: Iasenovets, Artur, et al.
Pubblicazione: (2025)

Educational Game on Cryptocurrency Investment: Using Microeconomic Decision Making to Understand Macroeconomics Principles
di: Zhu, Jiasheng, et al.
Pubblicazione: (2023)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
di: Fuchs, Clint, et al.
Pubblicazione: (2025)

SoK: Advances and Open Problems in Web Tracking
di: Vekaria, Yash, et al.
Pubblicazione: (2025)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
di: McCann, Alan L.
Pubblicazione: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
di: McCann, Alan L.
Pubblicazione: (2026)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
di: Metere, Roberto, et al.
Pubblicazione: (2026)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
di: Amusuo, Paschal C., et al.
Pubblicazione: (2025)

Aggregating Digital Identities through Bridging. An Integration of Open Authentication Protocols for Web3 Identifiers
di: Biedermann, Ben, et al.
Pubblicazione: (2025)

Partial Adaptive Indexing for Approximate Query Answering
di: Maroulis, Stavros, et al.
Pubblicazione: (2024)

The Voynich Codex Decoded: Statistical Symbolism and Scroll-Wide Logic
di: Jama, Suhaib A.
Pubblicazione: (2025)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
di: Ouyang, Ciyan, et al.
Pubblicazione: (2026)

Harmful Terms and Where to Find Them: Measuring and Modeling Unfavorable Financial Terms and Conditions in Shopping Websites at Scale
di: Tsai, Elisa, et al.
Pubblicazione: (2025)

ICBAC: an Intelligent Contract-Based Access Control framework for supply chain management by integrating blockchain and federated learning
di: Sohani, Sadegh, et al.
Pubblicazione: (2026)

Human Vulnerability Assessment in Cybersecurity: A Systematic Literature Review of Methods, Models, and Instruments
di: Papatsaroucha, Dimitra, et al.
Pubblicazione: (2026)

SocialGenPod: Privacy-Friendly Generative AI Social Web Applications with Decentralised Personal Data Stores
di: Vizgirda, Vidminas, et al.
Pubblicazione: (2024)

Enhanced Web Payload Classification Using WAMM: An AI-Based Framework for Dataset Refinement and Model Evaluation
di: Osama, Heba, et al.
Pubblicazione: (2025)

Hiding in Plain Sight: Query Obfuscation via Random Multilingual Searches
di: Firc, Anton, et al.
Pubblicazione: (2025)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data
di: Bian, Christopher, et al.
Pubblicazione: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
di: Rawat, Sanjay
Pubblicazione: (2026)

CRED-1: An Open Multi-Signal Domain Credibility Dataset for Automated Pre-Bunking of Online Misinformation
di: Loth, Alexander, et al.
Pubblicazione: (2026)

The Processing goes far beyond "the app" -- Privacy issues of decentralized Digital Contact Tracing using the example of the German Corona-Warn-App (CWA)
di: Rehak, Rainer, et al.
Pubblicazione: (2025)

Policy as Code, Policy as Type
di: Fuchs, Matthew D.
Pubblicazione: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
di: Marksteiner, Stefan, et al.
Pubblicazione: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
di: Kadaboina, Ravi Kiran
Pubblicazione: (2026)

How DeFi Protocols Choose Oracle Providers: Evidence on Sourcing, Dependence, and Switching Costs
di: Caldarelli, Giulio
Pubblicazione: (2025)

Scalable and Ethical Insider Threat Detection through Data Synthesis and Analysis by LLMs
di: Gelman, Haywood, et al.
Pubblicazione: (2025)