yusuke1997/dblp-id-title huggingface dataset:
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support
Compositionality of Update Propagation: Lax PutPut
Feedback in Synchronous Relational Interfaces
Change Propagation of View Models by Logic Synthesis using SAT solvers
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007
The Unmet Challenge of Timed Systems
A Model of Dynamic Systems
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations
Specification Theories for Probabilistic and Real-Time Systems
Programming and Verifying Component Ensembles
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)
Steps towards Scenario-Based Programming with a Natural Language Interface
Context-Bounded Analysis of TSO Systems
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005
Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002
From Hierarchical BIP to Petri Calculus
Parametric and Quantitative Extensions of Modal Transition Systems
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016
Assembly Theories for Communication-Safe Component Systems
Constructive Collisions
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)
Complements Witness Consistency
Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization
Universal Updates for Symmetric Lenses
Model-Driven Information Flow Security for Component-Based Systems
Bidirectional Certified Programming
Reasoning about Network Topologies in Space
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations
Theory and Practice of Timed Systems (TPTS), Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002
Existing and New Ideas on Least Change Triple Graph Grammars
Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016
Compositional Branching-Time Measurements
Toward a System Design Science
What Can be Computed in a Distributed System?
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Let's Get Physical: Computer Science Meets Systems
Towards the Propagation of Model Updates along different Views in Multi-View Models
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004
On Ontologology
Taking Updates Seriously
Emergence as an Explanatory Principle in Artificial Societies. Reflection on the Bottom-Up Approach to Social Theory
The Epistemologies of Social Simulation Research
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change
Abductive Fallacies with Agent-Based Modeling and System Dynamics
Validation and Verification in Social Simulation: Patterns and Clarification of Terminology
The Nature of Noise
Algorithmic Analysis of Production Systems Used as Agent-Based Social Simulation Models
Validation and Verification of Agent-Based Models in the Social Sciences
What Does Emergence in Computer Simulations? Simulation between Epistemological and Ontological Emergence
Reconstruction Failures: Questioning Level Design
From Simulation to Theory (and Backward)
Epistemological Aspects of Computer Simulation in the Social Sciences, Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
EPOS-Epistemological Perspectives on Simulation: An Introduction
Talking about ABSS: Functional Descriptions of Models
Research on Preprocessing Process for Improved Image Generation Based on Contrast Enhancement
A Review of the Non-Fungible Tokens (NFT): Challenges and Opportunities
Improving Indoor Positioning Performance in an Emergency Deployment System
Forest Fire Prediction Using Multi-Source Deep Learning
A Bibliometric Analysis and Systematic Review of a Blockchain-Based Chain of Custody for Digital Evidence
Improving Software Automation Testing Using Jenkins, and Machine Learning Under Big Data
A Multi-user-collaboration Platform Concept for Managing Simulation-Based Optimization of Virtual Tooling as Big Data Exchange Service - An Implementation as Proof of Concept Based on Different Human-Machine-Interfaces
Association Between Regional Difference in Heart Rate Variability and Inter-prefecture Ranking of Healthy Life Expectancy: ALLSTAR Big Data Project in Japan
Network Engineering: Towards Data-Driven Framework for Network Configuration
Study on the Transaction Linkage Technique Combining the Designated Terminal
Ransomware-Prevention Technique Using Key Backup
BigText-QA: Question Answering over a Large-Scale Hybrid Knowledge Graph
Big Data Technologies and Applications - 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings
Can Federated Models Be Rectified Through Learning Negative Gradients?
Feature Selection Techniques for Improving Rare Class Classification in Semiconductor Manufacturing Process
IoT Attacks Countermeasures: Systematic Review and Future Research Direction
Detecting Human Emotion via Speech Recognition by Using Ensemble Classification Model
On Exploiting Static and Dynamic Features in Malware Classification
STLGCN: Spatial-Temporal Graph Convolutional Network for Long Term Traffic Forecasting
Pattern Analysis of Natural Disasters in the Philippines
Big Data Technologies and Applications - 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings
Distributed Compressive Sensing for Correlated Information Sources
Fine-Grained Data Traffic Management System Based on VPN Technology
An Auditable Framework for Evidence Sharing and Management Using Smart Lockers and Distributed Technologies: Law Enforcement Use Case
Allocation Four Neighbor Exclusive Channels to Polyhedron Clusters in Sensor Networks
MMSE Based Interference Cancellation and Beamforming Scheme for Signal Transmission in IoT
Correcting Misspelled Words in Twitter Text
Waiting Time Screening in Healthcare
Segmentation of Hanacaraka Characters Using Double Projection Profile and Hough Transform
Multi-level Steganography Based on Fuzzy Vault Systems and Secret Sharing Techniques
A Novel Method for Extracting Dynamic Character Network from Movie
Image Forgery Detection Using Cryptography and Deep Learning
Revocable Attribute-Based Encryption Scheme with Cryptographic Reverse Firewalls
Analysis and Visualization of University Twitter Feeds Sentiment
Big Data Technologies and Applications - 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017, Proceedings
Using Geotagged Resources on Social Media for Cultural Tourism: A Case Study on Cultural Heritage Tourism
Archaeological Site Image Content Retrieval and Automated Generating Image Descriptions with Neural Network
Keyboard and Mouse: Tools in Identifying Emotions During Computer Activities
eCommerce Sales Attrition: A Business Intelligence Visualization
Mining IT Job-Order Services: Basis for Policy Formulation & IT Resource Allocation
Theoretical Concept of Inverse Kinematic Models to Determine Valid Work Areas Using Target Coordinates from NC-Programs - A Model Comparison to Extend a System-in-Progress as Systems Engineering Task
CTL-I: Infrared Few-Shot Learning via Omnidirectional Compatible Class-Incremental
Face Expression Extraction Using Eigenfaces, Fisherfaces and Local Binary Pattern Histogram Towards Predictive Analysis of Students Emotion in Programming
Visualization of Mixed Attributed High-Dimensional Dataset Using Singular Value Decomposition
Handling Uncertainty in Clustering Art-Exhibition Visiting Styles
Development of ADDA (Additional Data) Algorithm for IoT Security and Privacy
Max-flow Min-cut Algorithm in Spark with Application to Road Networks
Covert Distributed Processing with Computer Viruses
Universal Padding Schemes for RSA
Provable Security Against Differential Cryptanalysis
A System for Point-of-Sale or Access User Authentication and Identification
How to Construct Quantum FHE, Generically
Results on Sampling-based Scrambling for Secure Speech Communication
Structure-Preserving Signatures from Standard Assumptions, Revisited
Incoercible Multi-party Computation and Universally Composable Receipt-Free Voting
Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
Efficient Zero-Knowledge Proofs of Non-algebraic Statements with Sublinear Amortized Cost
Privacy-Preserving Dijkstra
(Not So) Random Shuffles of RC4
Fully Dynamic Secret Sharing Schemes
Interactive Proofs for Social Graphs
Classical Cryptographic Protocols in a Quantum World
Smooth Projective Hashing for Conditionally Extractable Commitments
Cryptanalysis of Symmetric Primitives over Rings and a Key Recovery Attack on Rubato
Sampling in a Quantum Population, and Applications
Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen Ciphertext Attack
Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part II
Advances in Cryptology - CRYPTO 2010, 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings
Security with Low Communication Overhead
Fast Algorithms for the Free Riders Problem in Broadcast Encryption
A Randomnesss-Rounds Tradeoff in Private Computation
On the Exact Security of Full Domain Hash
Constant-Rate Oblivious Transfer from Noisy Channels
A Polynomial Time Solution for Compact Knapsacks
Cryptanalysis of SAFER++
On Correlation-Immune Functions
The FEAL-8 Cryptosystem and a Call for Attack
Assessing the Impact of a Variant of MATZOV's Dual Attack on Kyber
On the Security of RSA Encryption in TLS
Signatures through Approximate Representation by Quadratic Forms
Verifiable Computation for Approximate Homomorphic Encryption Schemes
Asymptotically-Good Arithmetic Secret Sharing over $\mathbb {Z}/p^{\ell }\mathbb {Z}$ with Strong Multiplication and Its Applications to Efficient MPC
Some Regular Properties of the DES
Content-Addressable Search Engines and DES-like Systems
Quantum Cryptography over Underground Optical Fibers
Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles
On Round Elimination for Special-Sound Multi-round Identification and the Generality of the Hypercube for MPCitH
Homomorphic Encryption for Large Integers from Nested Residue Number Systems
Adaptive Security in SNARGs via iO and Lossy Functions
Fine-Grained Secure Attribute-Based Encryption
Perfectly-Secure Key Distribution for Dynamic Conferences
Cube Attacks on Non-Blackbox Polynomials Based on Division Property
Automatic Search of Attacks on Round-Reduced AES and Applications
Oblivious Transfer and Linear Functions
Fine-Grained Cryptography
Problems with the Normal Use of Cryptography for Providing Security on Unclassified Networks
Improving Generic Attacks Using Exceptional Functions
An Algebraic Framework for Diffie-Hellman Assumptions
Advances in Cryptology - CRYPTO 2004, 24th Annual International CryptologyConference, Santa Barbara, California, USA, August 15-19, 2004, Proceedings
Anamorphic Resistant Encryption: the Good, the Bad and the Ugly
Advances in Cryptology - CRYPTO 2015 - 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Discreet Solitary Games
Fully Homomorphic Encryption with Chosen-Ciphertext Security from LWE
On Fast and Provably Secure Message Authentication Based on Universal Hashing
Silver: Silent VOLE and Oblivious Transfer from Hardness of Decoding Structured LDPC Codes
Key Distribution Systems Based on Identification Information
Adaptive Garbled RAM from Laconic Oblivious Transfer
Sub-linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits
Short Leakage Resilient and Non-malleable Secret Sharing Schemes
Better Security for Deterministic Public-Key Encryption: The Auxiliary-Input Setting
Analysis and Improvements of NTRU Encryption Paddings
Non-Interactive Secure Multiparty Computation
PRF-ODH: Relations, Instantiations, and Impossibility Results
Differential-Linear Cryptanalysis from an Algebraic Perspective
Towards Tight Random Probing Security
Communication Complexity of Conditional Disclosure of Secrets and Attribute-Based Encryption
Arithmetic Sketching
Limits of Breach-Resistant and Snapshot-Oblivious RAMs
Does Fiat-Shamir Require a Cryptographic Hash Function?
Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup
Bounds and Constructions for Authentication-Secrecy Codes with Splitting
Hidden Number Problem with the Trace and Bit Security of XTR and LUC
Breaking the IEEE Encryption Standard XCB-AES in Two Queries
FRIDA: Data Availability Sampling from FRI
Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part III
Long Key Variants of DES
Symmetric Public-Key Encryption
Multi-input Quadratic Functional Encryption from Pairings
On the Round Security of Symmetric-Key Cryptographic Primitives
New Constructions of Reusable Designated-Verifier NIZKs
Separating Adaptive Streaming from Oblivious Streaming Using the Bounded Storage Model
Fast Homomorphic Evaluation of Deep Discretized Neural Networks
Improved Key Recovery Attacks on Reduced-Round AES with Practical Data and Memory Complexities
Searchable Encryption with Optimal Locality: Achieving Sublogarithmic Read Efficiency
Nearly Optimal Parallel Broadcast in the Plain Public Key Model
Local Network Cryptosystem Architecture: Access Control
Hardness Along the Boundary: Towards One-Way Functions from the Worst-Case Hardness of Time-Bounded Kolmogorov Complexity
New General Lower Bounds on the Information Rate of Secret Sharing Schemes
Perfect MPC over Layered Graphs
Switching Lemma for Bilinear Tests and Constant-Size NIZK Proofs for Linear Subspaces
Inverting HFE Systems Is Quasi-Polynomial for All Fields
How to Prove Statements Obliviously?
Traceable Secret Sharing: Strong Security and Efficient Constructions
Rotational Differential-Linear Distinguishers of ARX Ciphers with Arbitrary Output Linear Masks
Reducibility Among Protocols
Pairing-Free Blind Signatures from Standard Assumptions in the ROM
Chosen Ciphertext Security from Injective Trapdoor Functions
A Chosen Plaintext Attack of the 16-round Khufu Cryptosystem
Secure Arithmetic Computation with Constant Computational Overhead
Quadratic Multiparty Randomized Encodings Beyond Honest Majority and Their Applications
Programmable Hash Functions in the Multilinear Setting
Demonstrating Possession of a Discrete Logarithm Without Revealing It
Correlation Immunity and the Summation Generator
Efficient Multi-party Computation: From Passive to Active Security via Secure SIMD Circuits
A Multiplicative Attack Using LLL Algorithm on RSA Signatures with Redundancy
Rewriting Variables: The Complexity of Fast Algebraic Attacks on Stream Ciphers
Amplifying Privacy in Privacy Amplification
Random Oracles and Auxiliary Input
New Generation of Secure and Practical RSA-Based Signatures
Secure Multi-Party Computation with Identifiable Abort
Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III
The Algebraic Group Model and its Applications
On the Power of Oblivious State Preparation
PEGASIS: Practical Effective Class Group Action using 4-Dimensional Isogenies
A Modular Approach to Key Distribution
Non-Interactive Zero-Knowledge Proofs for Composite Statements
Pseudorandom Obfuscation and Applications
Black-Box Analysis of the Block-Cipher-Based Hash-Function Constructions from PGV
Some Results on the Information Theoretic Analysis of Cryptosystems
Cryptanalysis of C2
On the Impossibility of Cryptography with Tamperable Randomness
An Improved BKW Algorithm for LWE with Applications to Cryptography and Lattices
Multiparty Computation with Faulty Majority
Quantum Security of NMAC and Related Constructions - PRF Domain Extension Against Quantum attacks
On the Security of Multi-Party Protocols in Distributed Systems
Mode-Level vs. Implementation-Level Physical Security in Symmetric Cryptography - A Practical Guide Through the Leakage-Resistance Jungle
On Verification in Secret Sharing
DES is not a Group
Simulatable VRFs with Applications to Multi-theorem NIZK
Improved Differential Attacks for ECHO and Grøstl
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures
Security Analysis of IKE's Signature-Based Key-Exchange Protocol
Robustness for Free in Unconditional Multi-party Computation
MPC for Tech Giants (GMPC): Enabling Gulliver and the Lilliputians to Cooperate Amicably
Cryptographic Primitives Based on Hard Learning Problems
Anamorphic Signatures: Secrecy from a Dictator Who Only Permits Authentication!
Dynamic Accumulators and Application to Efficient Revocation of Anonymous Credentials
Fast Correlation Attack Revisited - Cryptanalysis on Full Grain-128a, Grain-128, and Grain-v1
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $
Leftover Hash Lemma, Revisited
Practical Verifiable Encryption and Decryption of Discrete Logarithms
On the Composition of Public-Coin Zero-Knowledge Protocols
HMQV: A High-Performance Secure Diffie-Hellman Protocol
Non-Interactive Oblivious Transfer and Applications
Towards Achieving Asynchronous MPC with Linear Communication and Optimal Resilience
How to Prove Yourself: Practical Solutions to Identification and Signature Problems
Preimages for Reduced SHA-0 and SHA-1
Making a Faster Cryptanalytic Time-Memory Trade-Off
Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings
On the Implementation of Elliptic Curve Cryptosystems
Sumcheck Arguments and Their Applications
Collision-Resistance from Multi-Collision-Resistance
Lattice-Based Obfuscation from NTRU and Equivocal LWE
Asymptotically Optimal Communication for Torus-Based Cryptography
Security of Random Feistel Schemes with 5 or More Rounds
Round-Efficient Black-Box Construction of Composable Multi-Party Computation
Quantum FHE (Almost) As Secure As Classical
Key Homomorphic PRFs and Their Applications
Leakage-Resilient Circuits Against sfNC1, Revisited
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions
Locally Verifiable Signature and Key Aggregation
On the Length of Cryptographic Hash-Values Used in Identification Schemes
Reductions from Module Lattices to Free Module Lattices, and Application to Dequantizing Module-LLL
A Polynomial Time Algorithm for Breaking the Basic Merkle-Hellman Cryptosystem
Finding Small Roots of Bivariate Integer Polynomial Equations: A Direct Approach
Proving Without Knowing: On Oblivious, Agnostic and Blindolded Provers
A Modification of the Fiat-Shamir Scheme
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
Time Space Tradeoffs for Attacks against One-Way Functions and PRGs
Relaxing Chosen-Ciphertext Security
Non-malleable Codes for Decision Trees
On Forward-Secure Storage
Memento: How to Reconstruct Your Secrets from a Single Password in a Hostile Environment
The Pseudorandom Oracle Model and Ideal Obfuscation
Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers
On the Security of the Permuted Kernel Identification Scheme
Secret Sharing with Public Reconstruction (Extended Abstract)
How to Sign Digital Streams
Advances in Cryptology - CRYPTO '87, A Conference on the Theory and Applications of Cryptographic Techniques, Santa Barbara, California, USA, August 16-20, 1987, Proceedings
Fast and Secure Hashing Based on Codes
Generically Speeding-Up Repeated Squaring Is Equivalent to Factoring: Sharp Thresholds for All Generic-Ring Delay Functions
Efficient Pseudorandom Correlation Generators from Ring-LPN
Zero-Knowledge in Streaming Interactive Proofs
Improved Alternating-Moduli PRFs and Post-quantum Signatures
Patterns of Entropy Drop of the Key in an S-Box of the DES
Cryptanalysis of Block Ciphers with Probabilistic Non-linear Relations of Low Degree
The Rao-Nam Scheme is Insecure Against a Chosen-Plaintext Attack
A Plausible Attack on the Adaptive Security of Threshold Schnorr Signatures
Cryptographic Protection of Personal Data Cards
Secure Identification and QKD in the Bounded-Quantum-Storage Model
Private Mutual Authentication and Conditional Oblivious Transfer
On the Power of 1-way Functions (Abstract)
On the Randomness of Legendre and Jacobi Sequences
Hedging Public-Key Encryption in the Real World
Correlated Pseudorandomness from Expand-Accumulate Codes
A Chosen-Ciphertext Attack against NTRU
Evaluating Relative Security of Commercial ComSec Devices
Game-Theoretically Fair Distributed Sampling
Not Just Regular Decoding: Asymptotics and Improvements of Regular Syndrome Decoding Attacks
On Key Distribution Systems
Addition Chain Heuristics
On Bounded Distance Decoding, Unique Shortest Vectors, and the Minimum Distance Problem
Programmable Distributed Point Functions
Protocol for Signing Contracts
Dynamic Credentials and Ciphertext Delegation for Attribute-Based Encryption
Cryptography, the Next Two Decades
UNIX Password Security - Ten Years Later
TinyKeys: A New Approach to Efficient Multi-Party Computation
Threshold Password-Authenticated Key Exchange
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head
How to Tolerate Typos in Strong Asymmetric PAKE
Lossy Cryptography from Code-Based Assumptions
A "Paradoxical" Indentity-Based Signature Scheme Resulting from Zero-Knowledge
Rankin's Constant and Blockwise Lattice Reduction
Automated Security Proofs with Sequences of Games
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs
Instantiability of RSA-OAEP under Chosen-Plaintext Attack
Abritrated Unconditionally Secure Authentication Can Be Unconditionally Protected Against Arbiter's Attacks (Extended Abstract)
Perfect Local Randomness in Pseudo-Random Sequences
Hardness of Computing Individual Bits for One-Way Functions on Elliptic Curves
Improved Algorithms for the Permuted Kernel Problem
Rasta: A Cipher with Low ANDdepth and Few ANDs per Bit
Pseudo-random Generators from One-way Functions (Abstract)
Revisiting Cycles of Pairing-Friendly Elliptic Curves
Adversary-Dependent Lossy Trapdoor Function from Hardness of Factoring Semi-smooth RSA Subgroup Moduli
A Known Plaintext Attack of FEAL-4 and FEAL-6
Data-Independent Memory Hard Functions: New Attacks and Stronger Constructions
Memory-Efficient Algorithms for Finding Needles in Haystacks
Batch Arguments for sfNP and More from Standard Bilinear Group Assumptions
Joint Encryption and Message-Efficient Secure Computation
Quantum Information Processing: The Good, the Bad and the Ugly
Revocation and Tracing Schemes for Stateless Receivers
Cryptography from Compression Functions: The UCE Bridge to the ROM
Cryptography from Pseudorandom Quantum States
Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging
Accountability for Misbehavior in Threshold Decryption via Threshold Traitor Tracing