:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Shafarenko, Alex
Format:	Preprint
Published:	2021
Subjects:	Cryptography and Security C.4; H.3.1
Online Access:	https://arxiv.org/abs/2107.08970
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Ecosystem Trust Profiles
by: Strnadl, Christoph F.
Published: (2026)

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

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

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

Winternitz stack protocols
by: Shafarenko, Alex
Published: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

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

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

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

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