:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Shafarenko, Alex
Format:	Preprint
Publié:	2021
Sujets:	Cryptography and Security C.4; H.3.1
Accès en ligne:	https://arxiv.org/abs/2107.08970
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Watching TV with the Second-Party: A First Look at Automatic Content Recognition Tracking in Smart TVs
par: Anselmi, Gianluca, et autres
Publié: (2024)

S3PHER: Secure and Searchable System for Patient-driven HEalth data shaRing
par: Costa, Ivan, et autres
Publié: (2024)

CEKER: A Generalizable LLM Framework for Literature Analysis with a Case Study in Unikernel Security
par: Wollman, Alex, et autres
Publié: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
par: Cheval, Vincent, et autres
Publié: (2022)

Automatic verification of Finite Variant Property beyond convergent equational theories
par: Cheval, Vincent, et autres
Publié: (2024)

RowHammer Vulnerability Counter (RVC): Redefining RowHammer Detection with Victim-Centric Tracking
par: Jain, Lavi, et autres
Publié: (2026)

Deepfake Detection in Social Media: A Temporal Artifact Analysis Using 3D Convolutional Neural Networks
par: Rashidi, Mohammadreza, et autres
Publié: (2026)

Ecosystem Trust Profiles
par: Strnadl, Christoph F.
Publié: (2026)

Who Shares What? An Empirical Analysis of Security Conference Content Across Academia and Industry
par: Walter, Lukas, et autres
Publié: (2024)

SiliconHealth: A Complete Low-Cost Blockchain Healthcare Infrastructure for Resource-Constrained Regions Using Repurposed Bitcoin Mining ASICs
par: de Lafuente, Francisco Angulo, et autres
Publié: (2026)

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

Winternitz stack protocols
par: Shafarenko, Alex
Publié: (2022)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
par: Amusuo, Paschal C., et autres
Publié: (2026)

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
par: Iasenovets, Artur, et autres
Publié: (2025)

Educational Game on Cryptocurrency Investment: Using Microeconomic Decision Making to Understand Macroeconomics Principles
par: Zhu, Jiasheng, et autres
Publié: (2023)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
par: Fuchs, Clint, et autres
Publié: (2025)

SoK: Advances and Open Problems in Web Tracking
par: Vekaria, Yash, et autres
Publié: (2025)

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

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

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
par: Metere, Roberto, et autres
Publié: (2026)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
par: Amusuo, Paschal C., et autres
Publié: (2025)

Aggregating Digital Identities through Bridging. An Integration of Open Authentication Protocols for Web3 Identifiers
par: Biedermann, Ben, et autres
Publié: (2025)

Partial Adaptive Indexing for Approximate Query Answering
par: Maroulis, Stavros, et autres
Publié: (2024)

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

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
par: Ouyang, Ciyan, et autres
Publié: (2026)

Harmful Terms and Where to Find Them: Measuring and Modeling Unfavorable Financial Terms and Conditions in Shopping Websites at Scale
par: Tsai, Elisa, et autres
Publié: (2025)

ICBAC: an Intelligent Contract-Based Access Control framework for supply chain management by integrating blockchain and federated learning
par: Sohani, Sadegh, et autres
Publié: (2026)

Human Vulnerability Assessment in Cybersecurity: A Systematic Literature Review of Methods, Models, and Instruments
par: Papatsaroucha, Dimitra, et autres
Publié: (2026)

SocialGenPod: Privacy-Friendly Generative AI Social Web Applications with Decentralised Personal Data Stores
par: Vizgirda, Vidminas, et autres
Publié: (2024)

Enhanced Web Payload Classification Using WAMM: An AI-Based Framework for Dataset Refinement and Model Evaluation
par: Osama, Heba, et autres
Publié: (2025)

Hiding in Plain Sight: Query Obfuscation via Random Multilingual Searches
par: Firc, Anton, et autres
Publié: (2025)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data
par: Bian, Christopher, et autres
Publié: (2024)

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

CRED-1: An Open Multi-Signal Domain Credibility Dataset for Automated Pre-Bunking of Online Misinformation
par: Loth, Alexander, et autres
Publié: (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)
par: Rehak, Rainer, et autres
Publié: (2025)

Policy as Code, Policy as Type
par: Fuchs, Matthew D.
Publié: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
par: Marksteiner, Stefan, et autres
Publié: (2025)

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

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

Scalable and Ethical Insider Threat Detection through Data Synthesis and Analysis by LLMs
par: Gelman, Haywood, et autres
Publié: (2025)