yusuke1997/dblp-id-title huggingface dataset:
A Multiple-Fault Tolerant Sorting Network
Multiprocessor Architecture Using an Audit Trail for Fault Tolerance
Fault-tolerance in a high-speed 2D convolver/correlator: Starloc
Row/column pattern sensitive fault detection in RAMs via built-in self-test
Fault-tolerance in the Advanced Automation System
A Comparative Analysis of Event Tupling Schemes
Specification and proof of a distributed recovery algorithm
Robust Search Algorithms for Test Pattern Generation
Error/Failure Analysis Using Event Logs from Fault Tolerant Systems
A software fault tolerance experiment for space applications
Imperfectly connected 2D arrays for image processing
Message routing in HARTS with faulty components
Improved Construction Methods for Error Correcting Constant Weight Codes
Fast, On-Line Failure Recovery in Redundant Disk Arrays
VAX/VMS Event Monitoring and Analysis
Symbol Error Correctin Codes for Memory Applications
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity
Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis
A formalism for monitoring real-time constraints at run-time
An Optimal Algorithm for Distributed System Level Diagnosis
Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer
Disk Array Storage System Reliability
Removal of Redundancy in Logic Circuits under Classification of Undetectable Faults
The minimal test set for sorting networks and the use of sorting networks in self-testing checkers for unordered codes
Mitigating Operator-Induced Unavailability by Matching Imprecise Queries
Optimal Algorithms for Exact, Inexact, and Approval Voting
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off
Fault Tolerance in Parallel Implementations of Functional Languages
Simulation of Software Behaviour Under Hardware Faults
Compiler-Assisted Generation of Error-Detecting Parallel Programs
A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval
Analysis of a Fault-Tolerant Multiprocessor Scheduling Algorithm
Practical application and implementation of distributed system-level diagnosis theory
Two Error-Detecting and Correcting Circuits for Space Applications
A Comparison of Simulation Based and Scan Chain Implemented Fault Injection
Message Logging in Mobile Computing
Disk dual copy methods and their performance
Algebraic Techniques for the Optimization of Control Flow Checking
Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst Case
An open layered architecture for dependability analysis and its application
A Fault-Tolerant FFT Processor
Two Software Techniques for On-line Error Detection
On the Use and Implementation of Message Logging
Reliable diagnosis and repair in constant-degree multiprocessor systems
A General Model for Reliability Maximization Problem Under Given Redundancy
COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance
ARMOR: Analyzer for Reducing Module Operational Risk
A User-Level Checkpointing Library for POSIX Threads Programs
A Service Policy for Real-Time Customers with ( m, k, )-Firm Deadlines
Understanding large system failures-a fault injection experiment
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990
Completely Asynchronous Optimistic Recovery with Minimal Rollbacks
Fault detection and diagnosis of k-UCP circuits under totally observable condition
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems
Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance
Fail-Awareness: An Approach to Construct Fail-Safe Applications
Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming
A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)
On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study
Tolerating transient faults in MARS
Finite State Machine Testing Based on Growth and Dissappearance Faults
Direct Methods for Synthesis of Self-Monitoring State Machines
Faster Checkpointing with N +1 Parity
Dependability of Railway Control Systems
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems
Distributed On-Line Diagnosis in the Presence of Arbitrary Faults
RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols
Design for Fault-Tolerance in System ES/9000 Model 900
More Robust Tests in Algorithm-Based Fault-Tolerant Matrix Multiplication
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, Montreal, Canada
A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits
Modeling recovery time distributions in ultrareliable fault-tolerant systems
An Algorithm Based Error Detection Scheme for the Multigrid Algorithm
The error-resistant interactively consistent architecture (ERICA)
Recovery Concepts for Data Sharing Systems
Bridging, Transition, and Stuck-Open Faults in Self-Testing CMOS Checkers
Measurement of Failure Rate in Widely Distributed Software
Robust search methods for B-trees
Private-Key Hidden Vector Encryption with Key Confidentiality
Running on Karma - P2P Reputation and Currency Systems
How to Design Authenticated Key Exchange for Wearable Devices: Cryptanalysis of AKE for Health Monitoring and Countermeasures via Distinct SMs with Key Split and Refresh
Cryptology and Network Security - 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping - Secrecy Amplification Case
Stronger Targeted Poisoning Attacks Against Malware Detection
Fixed Points of Special Type and Cryptanalysis of Full GOST
Anonymous Broadcast Authentication with Logarithmic-Order Ciphertexts from LWE
Arcula: A Secure Hierarchical Deterministic Wallet for Multi-asset Blockchains
Compact Representation for Division Property
Improvement in Non-linearity of Carlet-Feng Infinite Class of Boolean Functions
Bad Sounds Good Sounds: Attacking and Defending Tap-Based Rhythmic Passwords Using Acoustic Signals
Unconditionally Reliable Message Transmission in Directed Hypergraphs
Anonymous Random Allocation and Its Applications
Safeguard Information Infrastructure Against DDoS Attacks: Experiments and Modeling
Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC
Breaking PPTP VPNs via RADIUS Encryption
Achieving Mobility and Anonymity in IP-Based Networks
Secure Error-Tolerant Graph Matching Protocols
An Attack on Some Signature Schemes Constructed from Five-Pass Identification Schemes
Impossible Differential Cryptanalysis of ARIA Reduced to 7 Rounds
Compressed Verification for Post-quantum Signatures with Long-Term Public Keys
Efficient and Short Certificateless Signature
RFID Distance Bounding Protocol with Mixed Challenges to Prevent Relay Attacks
Performance and Security Aspects of Client-Side SSL/TLS Processing on Mobile Devices
Q-OpenVPN: A New Extension of OpenVPN Based on a Quantum Scheme for Authentication and Key Distribution
BotSuer: Suing Stealthy P2P Bots in Network Traffic through Netflow Analysis
Dually Computable Cryptographic Accumulators and Their Application to Attribute Based Encryption
Cryptographic Cryptid Protocols - How to Play Cryptid with Cheaters
Achieving Multicast Stream Authentication Using MDS Codes
Modelling Traffic Analysis in Home Automation Systems
A Privacy-Preserving Device Tracking System Using a Low-Power Wide-Area Network
On the Security of Privacy-Preserving Machine Learning Against Model Stealing Attacks
Few-Shot Retrieval-Augmented LLMs for Anomaly Detection in Network Traffic
Efficient ID-Based Digital Signatures with Message Recovery
Near-Collisions on the Reduced-Round Compression Functions of Skein and BLAKE
Efficient Verifiable Computation of XOR for Biometric Authentication
Computing Betweenness Centrality: An Efficient Privacy-Preserving Approach
HPAKE : Password Authentication Secure against Cross-Site User Impersonation
An Open Framework for Remote Electronic Elections
A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences over GF (3)
Practical Algebraic Cryptanalysis for Dragon-Based Cryptosystems
Synthetic Lateral Movement Data Generation for Azure Cloud: A Hopper-Based Approach
An Analysis of the Compact XSL Attack on BES and Embedded SMS4
Breaking and Fixing Anonymous Credentials for the Cloud
On the Collision and Preimage Resistance of Certain Two-Call Hash Functions
Practical Continuously Non-malleable Randomness Encoders in the Random Oracle Model
What Matters Most in Vulnerabilities? Key Term Extraction for CVE-to-CWE Mapping with LLMs
Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model
Fast and Secure Root Finding for Code-Based Cryptosystems
Verifiable Message-Locked Encryption
EPCBC - A Block Cipher Suitable for Electronic Product Code Encryption
Are Current CCPA Compliant Banners Conveying User's Desired Opt-Out Decisions? An Empirical Study of Cookie Consent Banners
Lattice-Based Key-Value Commitment Scheme with Key-Binding and Key-Hiding Properties
Cross-Site Search Attacks: Unauthorized Queries over Private Data
Diversity Within the Rijndael Design Principles for Resistance to Differential Power Analysis
On the Complexity of Computing Discrete Logarithms over Algebraic Tori
Comments on the SM2 Key Exchange Protocol
Distributed Multi-authority Attribute-Based Encryption Using Cellular Automata
On Cryptographic Schemes Based on Discrete Logarithms and Factoring
Unveiling the Critical Attack Path for Implanting Backdoors in Supply Chains: Practical Experience from XZ
Efficient Fuzzy Labeled PSI from Vector Ring-OLE
On the Usability of Secure Association of Wireless Devices Based on Distance Bounding
Blink 'Em All: Scalable, User-Friendly and Secure Initialization of Wireless Sensor Nodes
Enabling Compressed Encryption for Cloud Based Big Data Stores
Smart Architecture for High-Speed Intrusion Detection and Prevention Systems
Cryptology and Network Security - 21st International Conference, CANS 2022, Dubai, United Arab Emirates, November 13-16, 2022, Proceedings
Cryptology and Network Security - 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings
Self Debugging Mode for Patch-Independent Nullification of Unknown Remote Process Infection
Sanitizable Signatures Revisited
Optimized Algorithms and Architectures for Montgomery Multiplication for Post-quantum Cryptography
Practical Evaluation of Passive COTS Eavesdropping in 802.11b/n/ac WLAN
A New Technique for Compacting Secret Key in Attribute-Based Broadcast Encryption
Applicability of OR-Proof Techniques to Hierarchical Identity-Based Identification
A Minor Note on Obtaining Simpler iO Constructions via Depleted Obfuscators
Enhancing Code Based Zero-Knowledge Proofs Using Rank Metric
Language-Based Hypervisors
SETLA: Signature and Encryption from Lattices
Probabilistic Generation of Trapdoors: Reducing Information Leakage of Searchable Symmetric Encryption
An Efficient Entity Authentication Protocol with Enhanced Security and Privacy Properties
Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima
An Intelligent Network-Warning Model with Strong Survivability
Improved Multiplication Triple Generation over Rings via RLWE-Based AHE
How to Enhance the Security on the Least Significant Bit
Anonymous Credential Schemes with Encrypted Attributes
Constructions of Secure Multi-Channel Broadcast Encryption Schemes in Public Key Framework
Zero Knowledge with Rubik's Cubes and Non-abelian Groups
Efficient, XOR-Based, Ideal (t, n)- threshold Schemes
ID-Based Aggregate Signatures from Bilinear Pairings
Tighter Security Proofs for Post-quantum Key Encapsulation Mechanism in the Multi-challenge Setting
Malware Tolerant (Mesh-)Networks
Construction of Resilient Functions with Multiple Cryptographic Criteria
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives
Cryptology and Network Security - 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, 2024, Proceedings, Part II
Protean Signature Schemes
A Note of Perfect Nonlinear Functions
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
FFT Key Recovery for Integral Attack
Implicit Related-Key Factorization Problem on the RSA Cryptosystem
Codes on Any Cayley Graph Have an Interactive Oracle Proof of Proximity
Towards Post-quantum Secure PAKE - A Tight Security Proof for OCAKE in the BPR Model
Towards Video Compression in the Encrypted Domain: A Case-Study on the H264 and HEVC Macroblock Processing Pipeline
Anonymity 2.0 - X.509 Extensions Supporting Privacy-Friendly Authentication
Cube Cryptanalysis of Hitag2 Stream Cipher
An Efficient and Provably Secure Cross-Realm Client-to-Client Password-Authenticated Key Agreement Protocol with Smart Cards
Algebraic Cryptanalysis of the Round-Reduced and Side Channel Analysis of the Full PRINTCipher-48
SecReach: Secure Reachability Computation on Encrypted Location Check-in Data
Privacy-Preserving Whole-Genome Variant Queries
A Practical Forward-Secure DualRing
Cooperative Intrusion Detection for Web Applications
Free by Design: On the Feasibility of Free-Riding Attacks Against Zero-Rated Services
High-Speed Search System for PGP Passphrases
Collision Attacks on Hashing Modes of Areion
Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Attribute-Based Signatures with User-Controlled Linkability
Multi-show Anonymous Credentials with Encrypted Attributes in the Standard Model
Practical, Dynamic and Efficient Integrity Verification for Symmetric Searchable Encryption
Towards a Smart Contract-Based, Decentralized, Public-Key Infrastructure
Strongly Secure One-Round Group Authenticated Key Exchange in the Standard Model
SplitOut: Out-of-the-Box Training-Hijacking Detection in Split Learning via Outlier Detection
Simplified Revocable Hierarchical Identity-Based Encryption from Lattices
Asymptotically Optimal and Private Statistical Estimation
CLEF: Limiting the Damage Caused by Large Flows in the Internet Core
Subset Predicate Encryption and Its Applications
Strong Designated Verifier Signatures from Isogeny Assumptions
Improved Linear Analysis on Block Cipher MULTI2
Bootstrappable Identity-Based Fully Homomorphic Encryption
Signer-Anonymous Designated-Verifier Redactable Signatures for Cloud-Based Data Sharing
What Users Should Know About Full Disk Encryption Based on LUKS
Improved Cryptanalysis on SipHash
Negotiating DNSSEC Algorithms over Legacy Proxies
Anonymous and Transparent Gateway-Based Password-Authenticated Key Exchange
Some Representations of the S-Box of Camellia in GF (((2 2 ) 2 ) 2 )
Distance Bounding Based on PUF
Fractional LWE: A Nonlinear Variant of LWE
Attestation Waves: Platform Trust via Remote Power Analysis
Cryptography Meets Hardware: Selected Topics of Hardware-Based Cryptography (Invited Talk)
Improving the Sphinx Mix Network
On the Relations Between Matchmaking Public Key Encryption and Public Key Authenticated Encryption with Keyword Search
Implementation State of HSTS and HPKP in Both Browsers and Servers
Practical Fully Homomorphic Encryption for Fully Masked Neural Networks
On the Efficiency of ZMAC-Type Modes
STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments
iDeFEND: Intrusion Detection Framework for Encrypted Network Data
Optimized and Secure Pairing-Friendly Elliptic Curves Suitable for One Layer Proof Composition
Cryptology and Network Security - 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings
How to Update Documents Verifiably in Searchable Symmetric Encryption
Practical Password-Based Authentication Protocol for Secret Sharing Based Multiparty Computation
Semi-automated and Easily Interpretable Side-Channel Analysis for Modern JavaScript
How to Apply Fujisaki-Okamoto Transformation to Registration-Based Encryption
Updatable Encryption Secure Against Randomness Compromise
Traceable Policy-Based Signatures with Delegation
Analysis and Implementation of an Efficient Ring-LPN Based Commitment Scheme
Integer Reconstruction Public-Key Encryption
Constructing Secure Warrant-Based Proxy Signcryption Schemes
RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation
Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
A Formal Environment for MANET Organization and Security
Non-expanding Transaction Specific Pseudonymization for IP Traffic Monitoring
Revisiting Rational Broadcast Protocols
Security of Linear Secret-Sharing Schemes Against Mass Surveillance
A Novel Algorithm for Secret Key Generation in Passive Backscatter Communication Systems
SIKE Round 2 Speed Record on ARM Cortex-M4
Comparing Gaston with Ascon-p: Side-Channel Analysis and Hardware Evaluation
Improved Attacks on Extended Generalized Feistel Networks
A Simple Key-Recovery Attack on McOE-X
Selectively Linkable Group Signatures - Stronger Security and Preserved Verifiability
Security Model of Proxy-Multi Signature Schemes
DiSK - A Deniable Split KEM from Lattices
Cryptology and Network Security - 24th International Conference, CANS 2025, Osaka, Japan, November 17-20, 2025, Proceedings
Improved Collision Attack on Reduced Round Camellia
Impossible Differential Attack on SAND-128
DNSSEC Misconfigurations in Popular Domains
An Efficient Lattice-Based Multisignature Scheme with Applications to Bitcoins
Evaluation on Malware Classification by Session Sequence of Common Protocols
Moving in Next Door: Network Flooding as a Side Channel in Cloud Environments
New Impossible Differential Cryptanalysis of Reduced-Round Camellia
Security of a Privacy-Preserving Biometric Authentication Protocol Revisited
Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
Key Filtering in Cube Attacks from the Implementation Aspect
CTA: Confidential Transactions Protocol with State Accumulator
Several MILP-Aided Attacks Against SNOW 2.0
Analysis of the MQQ Public Key Cryptosystem
Cryptology and Network Security - 23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, 2024, Proceedings, Part I
Auditable Asymmetric Password Authenticated Public Key Establishment
Secret Sharing Schemes for (k, n)-Consecutive Access Structures
A Novel Method for Finding Differential-Linear Distinguishers: Application to sfMidori64, sfCRAFT, and sfSkinny64
Cryptology and Network Security - 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
An Efficient Construction of Non-Interactive Secure Multiparty Computation
Upper Bounds on the Number of Shuffles for Two-Helping-Card Multi-input and Protocols
A Secure Location Service for Ad Hoc Position-Based Routing Using Self-signed Locations
MIBS: A New Lightweight Block Cipher
Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators
DNS-DNS: DNS-Based De-NAT Scheme
On the Lossiness of 2 k -th Power and the Instantiability of Rabin-OAEP
Conditional Differential Cryptanalysis of Grain-128a
Two Proxy Signcryption Schemes from Bilinear Pairings
Saturation Attack on the Block Cipher HIGHT
Analysis and Design of Multiple Threshold Changeable Secret Sharing Schemes
A New Model for Dynamic Intrusion Detection
Hardness of Learning AES with Gradient-Based Methods
Practical Single-Pass Oblivious Aggregation and Billing Computation Protocols for Smart Meters
LEAP: A Next-Generation Client VPN and Encrypted Email Provider
Impossibility of Four-Card AND Protocols with a Single Closed Shuffle
Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric
Extending a Framework for Biometric Visual Cryptography
Revisiting ECM on GPUs
Privacy-Aware Authentication in the Internet of Things
Detecting Malware Through Anti-analysis Signals - A Preliminary Study
Revaluation of Error Correcting Coding in Watermarking Channel
Resource Access Control in the Facebook Model
Cryptanalysis of Short Exponent RSA with Primes Sharing Least Significant Bits
Range Query Integrity in Cloud Data Streams with Efficient Insertion
Authenticated Group Key Agreement for Multicast
Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature
An Efficient Somewhat Homomorphic Encryption Scheme Based on Factorization
LARMix++: Latency-Aware Routing in Mix Networks with Free Routes Topology
Decentralized Distributed Data Usage Control
An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market
Cryptanalysis of the Multi-Power RSA Cryptosystem Variant
Attribute-Based Key Exchange with Optimal Efficiency
Integral Cryptanalysis of Reduced-Round Tweakable TWINE
Revisiting Yasuda et al.'s Biometric Authentication Protocol: Are You Private Enough?
Compact Stateful Deterministic Wallet from Isogeny-Based Signature Featuring Uniquely Rerandomizable Public Keys
PAChain: Private, Authenticated and Auditable Consortium Blockchain
Cryptanalysis of EC-RAC, a RFID Identification Protocol
Exploiting Android Browser
A Secure Algorithm for Rounded Gaussian Sampling
How to Enumerate LWE Keys as Narrow as in Kyber/Dilithium
On the Security of Online/Offline Signatures and Multisignatures from ACISP'06
Faster Privacy-Preserving Location Proximity Schemes
On the Security of Certificateless Signature Schemes from Asiacrypt 2003
New Second Preimage Attack Variants against the MD-Structure
Towards Attribute-Based Credentials in the Cloud
MarcoPolo: A Zero-Permission Attack for Location Type Inference from the Magnetic Field Using Mobile Devices
Energy Analysis of Lightweight AEAD Circuits
Outsourcing Secure Two-Party Computation as a Black Box
Server-Aided Revocable Identity-Based Encryption from Lattices
webSPDZ: Versatile MPC on the Web
More Sparse Families of Pairing-Friendly Elliptic Curves
Design and Implementation of an Inline Certified E-mail Service
Hybrid Damgård Is CCA1-Secure under the DDH Assumption
Skew Frobenius Map and Efficient Scalar Multiplication for Pairing-Based Cryptography
Issuer-Hiding Attribute-Based Credentials
SEPM: Efficient Partial Keyword Search on Encrypted Data
Multi-owner Secure Encrypted Search Using Searching Adversarial Networks
Towards a Full-Featured Implementation of Attribute Based Credentials on Smart Cards
Internet Censorship in Italy: A First Look at 3G/4G Networks
1-Out-of-N Oblivious Transfer from MLWE
Lattice-Based Group Signatures with Verifier-Local Revocation: Achieving Shorter Key-Sizes and Explicit Traceability with Ease
Truncated Differential Cryptanalysis of the SPRING Block Cipher
Attention-Based Code Summarization for Multi-label Vulnerability Detection
Acceleration of Core Post-quantum Cryptography Primitive on Open-Source Silicon Platform Through Hardware/Software Co-design
Oh-Pwn-VPN! Security Analysis of OpenVPN-Based Android Apps
Attack on LAC Key Exchange in Misuse Situation
Linear-Time Oblivious Permutations for SPDZ
Constructions of Almost Resilient Functions
An LTE-Based VPN for Enhancing QoS and Authentication in Smallcell Enterprise Networks
Post-Quantum Electronic Identity: Adapting OpenID Connect and OAuth 2.0 to the Post-Quantum Era
On the Anonymity of Linkable Ring Signatures
How (not) to Achieve both Coercion Resistance and Cast as Intended Verifiability in Remote eVoting
Adaptive-Secure VRFs with Shorter Keys from Static Assumptions
Assessing and Countering Reaction Attacks Against Post-Quantum Public-Key Cryptosystems Based on QC-LDPC Codes
Private Data Aggregation over Selected Subsets of Users
Mutative Identity-Based Signatures or Dynamic Credentials Without Random Oracles
Forward-Security Under Continual Leakage
Similar Keys of Multivariate Quadratic Public Key Cryptosystems
ACDC: Anonymous Crowdsourcing Using Digital Cash
A Multi-agent Cooperative Model and System for Integrated Security Monitoring
Provable Security of rmHADES Structure
A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-Sized Sets
(Finite) Field Work: Choosing the Best Encoding of Numbers for FHE Computation
Zero Knowledge Proofs from Ring-LWE