yusuke1997/dblp-id-title huggingface dataset:
Automated Verification of Electrum Wallet
Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies
Enforced Community Standards for Research on Users of the Tor Anonymity Network
Confidential Assets
Off-Line Generation of Limited-Use Credit Card Numbers
Speculative Dereferencing: Reviving Foreshadow
Congestion Attacks in Payment Channel Networks
Analysis of the Bitcoin UTXO Set
Blue versus Red: Towards a Model of Distributed Security Attacks
Lattice-Based Proof of a Shuffle
How the Estonian Tax and Customs Board Evaluated a Tax Fraud Detection System Based on Secure Multi-party Computation
Risks of Offline Verify PIN on Contactless Cards
Challenges in Protecting Tor Hidden Services from Botnet Abuse
Revisiting the Computational Practicality of Private Information Retrieval
Optimistic Fair Exchange with Transparent Signature Recovery
Cryptographic Currencies from a Tech-Policy Perspective: Policy Issues and Technical Directions
Risk Assurance for Hedge Funds Using Zero Knowledge Proofs
A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability
Designing Privacy-Preserving Smart Meters with Low-Cost Microcontrollers
Estimating (Miner) Extractable Value is Hard, Let's Go Shopping!
Shared Sequencing and Latency Competition as a Noisy Contest
The Practical Problems of Implementing MicroMint
Short Paper: Breaking X-VRF, A Post-quantum Verifiable Random Function
A Concurrent Perspective on Smart Contracts
Cryptographic Cloud Storage
Security Mechanisms with Selfish Players in Wireless Networks
Linking Cryptoasset Attribution Tags to Knowledge Graph Entities: An LLM-Based Approach
VD-PSI: Verifiable Delegated Private Set Intersection on Outsourced Private Datasets
ST&E Is the Most Cost Effective Measure for Comply with Payment Card Industry (PCI) Data Security Standard
Privacy Enhanced Access Control for Outsourced Data Sharing
Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic
Short Paper: On Deployment of DNS-Based Security Enhancements
On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems
On Non-Interactive Blind Signatures in the Plain Model Using Complexity Leveraging
Cue Utilization, Phishing Feature and Phishing Email Detection
KBID: Kerberos Bracelet Identification (Short Paper)
Mental Models of Security Risks
Event Driven Private Counters
Specfuscator: Evaluating Branch Removal as a Spectre Mitigation
Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper)
Provably Secure Implicit Certificate Schemes
State Machines Across Isomorphic Layer 2 Ledgers
Efficiency Comparison of Various Approaches in E-Voting Protocols
Aspects of Digital Rights Management and the Use of Hardware Security Devices
Views, Reactions and Impact of Digitally-Signed Mail in e-Commerce
Preaching What We Practice: Teaching Ethical Decision-Making to Computer Security Professionals
The Extended UTXO Model
A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty
Cryptographic Primitives Enforcing Communication and Storage Complexity
Bootstrapping Trust in Online Dating: Social Verification of Online Dating Profiles
Breaking Legacy Banking Standards with Special-Purpose Hardware
Ignore the Extra Zeroes: Variance-Optimal Mining Pools
Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation
Short Paper: Privacy Preserving Decentralized Netting
Verified by Visa and MasterCard SecureCode: Or, How Not to Design Authentication
Failures of Security APIs: A New Case
ACeD: Scalable Data Availability Oracle
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
How to Profit from Payments Channels
Efficient Noise Generation to Achieve Differential Privacy with Applications to Secure Multiparty Computation
A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice - (Short Paper)
Policy-Based Cryptography and Applications
Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside
Proof-of-Burn
Micropayments via Efficient Coin-Flipping
Solving Linear Programs Using Multiparty Computation
A Practical Multivariate Blind Signature Scheme
hPIN/hTAN: A Lightweight and Low-Cost E-Banking Solution against Untrusted Computers
Marked Mix-Nets
An Efficient Aggregate Shuffle Argument Scheme
SoK: A Classification Framework for Stablecoin Designs
Attack on U-Prove Revocation Scheme from FC'13 - Passing Verification by Revoked Users
Statement Voting
Microcredits for Verifiable Foreign Service Provider Metering
ZLiTE: Lightweight Clients for Shielded Zcash Transactions Using Trusted Execution
Beware the Middleman: Empirical Analysis of Bitcoin-Exchange Risk
Detecting Privileged Parties on Ethereum
Securely Solving Simple Combinatorial Graph Problems
Boomerang: Redundancy Improves Latency and Throughput in Payment-Channel Networks
Estimating Profitability of Alternative Cryptocurrencies (Short Paper)
The Principal-Agent Problem in Liquid Staking
Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks
Cross-Layer Deanonymization Methods in the Lightning Protocol
Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis
TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions
Designing for Audit: A Voting Machine with a Tiny TCB
On Vulnerabilities of the Security Association in the IEEE 802.15.6 Standard
Fully Private Auctions in a Constant Number of Rounds
A Short Paper on Blind Signatures from Knowledge Assumptions
Why Banker Bob (Still) Can't Get TLS Right: A Security Analysis of TLS in Leading UK Banking Apps
Cryptocurrencies Without Proof of Work
CommitCoin: Carbon Dating Commitments with Bitcoin - (Short Paper)
SoK: Mitigation of Front-Running in Decentralized Finance
How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC
Forecasting Suspicious Account Activity at Large-Scale Online Service Providers
Enhancing Bitcoin Transactions with Covenants
Secure Multiparty PageRank Algorithm for Collaborative Fraud Detection
A Theoretical Basis for MEV
Curbing Junk E-Mail via Secure Classification
Making Quantitative Measurements of Privacy/Analysis Tradeoffs Inherent to Packet Trace Anonymization
Are You at Risk? Profiling Organizations and Individuals Subject to Targeted Attacks
Refund Attacks on Bitcoin's Payment Protocol
Financial Cryptography and Data Security - FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers
An Intrinsic Mechanism Deciding Hash Rates from Bitcoin Price
The Case of FBA as a DEX Processing Model
Fast Optimistically Fair Cut-and-Choose 2PC
Malice versus AN.ON: Possible Risks of Missing Replay and Integrity Protection
Not All Code are Create2 Equal
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Fast Elliptic Curve Cryptography in OpenSSL
Security Protocols and Evidence: Where Many Payment Systems Fail
Your Money or Your Life - Modeling and Analyzing the Security of Electronic Payment in the UC Framework
Private Policy Negotiation
Financial Cryptography and Data Security - 24th International Conference, FC 2020, Kota Kinabalu, Malaysia, February 10-14, 2020 Revised Selected Papers
Tale of Two Browsers: Understanding Users' Web Browser Choices in South Korea
MP3: A More Efficient Private Presence Protocol
Anonymous and Publicly Linkable Reputation Systems
Audit File Reduction Using N-Gram Models
Efficient Privacy-Preserving Protocols for Multi-unit Auctions
Legal Issues in Cryptography
Ethical Concerns in Computer Security and Privacy Research Involving Human Subjects
Ok Glass, Leave Me Alone: Towards a Systematization of Privacy Enhancing Technologies for Wearable Computing
A Scalable Architecture for Electronic Payments
"Give Me Letters 2, 3 and 6!": Partial Password Implementations and Attacks
Proof of Availability and Retrieval in a Modular Blockchain Architecture
Efficient Statically-Secure Large-Universe Multi-Authority Attribute-Based Encryption
RelationGram: Tie-Strength Visualization for User-Controlled Online Identity Authentication
Protecting Digital Rights
Financial Cryptography and Data Security - 20th International Conference, FC 2016, Christ Church, Barbados, February 22-26, 2016, Revised Selected Papers
Smart and Secure Cross-Device Apps for the Internet of Advanced Things
Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes
Efficient No-dictionary Verifiable Searchable Symmetric Encryption
Understanding the Weaknesses of Human-Protocol Interaction
BetterThanPin: Empowering Users to Fight Phishing (Poster)
Simple Encrypted Arithmetic Library - SEAL v2.1
Efficient Private Proximity Testing with GSM Location Sketches
Tree-Homomorphic Encryption and Scalable Hierarchical Secret-Ballot Elections
Using Intel Software Guard Extensions for Efficient Two-Party Secure Function Evaluation
X-Platform Phishing: Abusing Trust for Targeted Attacks Short Paper
A Platform for OnBoard Credentials
Optimal Dynamic Fees for Blockchain Resources
Non-interactive Proofs of Proof-of-Work
An Improved Fast Signature Scheme without Online Multiplication
Practical Witness-Key-Agreement for Blockchain-Based Dark Pools Financial Trading
Proof-of-Work as Anonymous Micropayment: Rewarding a Tor Relay
Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
Bitter to Better - How to Make Bitcoin a Better Currency
A Simpler Rate-Optimal CPIR Protocol
On the Possibility of Non-interactive E-Voting in the Public-Key Setting
Cast-as-Intended: A Formal Definition and Case Studies
Attacks Against GSMA's M2M Remote Provisioning (Short Paper)
Financial Cryptography and Data Security - 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 - March 2, 2018, Revised Selected Papers
Concave Pro-rata Games
Risk Framework for Bitcoin Custody Operation with the Revault Protocol
Trust and Swindling on the Internet
Switch Commitments: A Safety Switch for Confidential Transactions
Fair Use, Intellectual Property, and the Information Economy (Panel Session Summary)
UC-Secure Searchable Symmetric Encryption
CAge: Taming Certificate Authorities by Inferring Restricted Scopes
Automatically Preparing Safe SQL Queries
Trust in Smart Contracts is a Process, As Well
A Second-price Sealed-bid Auction with the Discriminant of the p 0 -th Root
Limits on Revocable Proof Systems, With Implications for Stateless Blockchains
Uncheatable Reputation for Distributed Computation Markets
Towards More Sensible Anti-circumvention Regulations
Time Capsule Signature
The Business of Electronic Voting
Shaping Cryptocurrency Gatekeepers with a Regulatory "Trial and Error"
An Analysis of Fixed-Spread Liquidation Lending in DeFi
Short Paper: An Empirical Analysis of Monero Cross-chain Traceability
When Bitcoin Mining Pools Run Dry - A Game-Theoretic Analysis of the Long-Term Impact of Attacks Between Mining Pools
Deterring Online Advertising Fraud through Optimal Payment in Arrears
SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
Optimally-Fair Exchange of Secrets via Delay Encryption and Commutative Blinding
Efficiently Making Secure Two-Party Computation Fair
Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions
Users Do the Darndest Things: True Stories from the CyLab Usable Privacy and Security Laboratory
There's No Free Lunch, Even Using Bitcoin: Tracking the Popularity and Profits of Virtual Currency Scams
OpenPGP-Based Financial Instruments and Dispute Arbitration
A Short Paper on the Incentives to Share Private Information for Population Estimates
On the Global Content PMI: Improved Copy-Protected Internet Content Distribution
Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I
When Cryptocurrencies Mine Their Own Business
Towards Overcoming the Undercutting Problem
NFT Wash Trading - Quantifying Suspicious Behaviour in NFT Markets
Synthetic Logs Generator for Fraud Detection in Mobile Transfer Services
Estimating Systematic Risk in Real-World Networks
Protecting Secret Data from Insider Attacks
Competition and Fraud in Online Advertising Markets
Stablecoins: Past, Present, and Future
Mutual Authentication for Low-Power Mobile Devices
Incentive Compatibility of Bitcoin Mining Pool Reward Functions
When Information Improves Information Security
Regulatory Considerations on Centralized Aspects of DeFi Managed by DAOs
What Instills Trust? A Qualitative Study of Phishing
Fault Induction Attacks, Tamper Resistance, and Hostile Reverse Engineering in Perspective
Split-and-Delegate: Threshold Cryptography for the Masses
New Empirical Traceability Analysis of CryptoNote-Style Blockchains
Financial Cryptography and Data Security - 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers
DAHash: Distribution Aware Tuning of Password Hashing Costs
Financial Cryptography and Data Security, 9th International Conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 - March 3, 2005, Revised Papers
An Analysis of FV Parameters Impact Towards Its Hardware Acceleration
Private eCash in Practice (Short Paper)
Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
Cuckoo Cycle: A Memory Bound Graph-Theoretic Proof-of-Work
Light Clients for Lazy Blockchains
Simulations of Ballot Polling Risk-Limiting Audits
Quick Order Fairness
Why Buy When You Can Rent? - Bribery Attacks on Bitcoin-Style Consensus
Weak-Unforgeable Tags for Secure Supply Chain Management
Efficient and Strongly Secure Dynamic Domain-Specific Pseudonymous Signatures for ID Documents
Confidential and Auditable Payments
A Model of Onion Routing with Provable Anonymity
Good Variants of HB + Are Hard to Find
Reasoning about Public-Key Certification: On Bindings between Entities and Public Keys
Ethical Dilemmas in Take-Down Research
Lissy: Experimenting with On-Chain Order Books
Visual Cryptography and Obfuscation: A Use-Case for Decrypting and Deobfuscating Information Using Augmented Reality
Towards Making Broadcast Encryption Practical
Short Paper: How to Attack PSD2 Internet Banking
Security Applications of Diodes with Unique Current-Voltage Characteristics
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain
Another Look at Extraction and Randomization of Groth's zk-SNARK
Empirical Analysis of Denial-of-Service Attacks in the Bitcoin Ecosystem
Metrics for Measuring ISP Badness: The Case of Spam - (Short Paper)
How Anywhere Computing Just Killed Your Phone-Based Two-Factor Authentication
Secure Biometric Authentication for Weak Computational Devices
Short Paper: Curve Forests - Transparent Zero-Knowledge Set Membership with Batching and Strong Security
Security Audits Revisited
Some Critical Remarks on "Dynamic Data Authentication" as Specified in EMV'96
Accountable Privacy for Decentralized Anonymous Payments
High-Precision Privacy-Preserving Real-Valued Function Evaluation
Lightweight Cryptography and DPA Countermeasures: A Survey
Cryptographic Securities Exchanges
Quantifying Resistance to the Sybil Attack
India's "Aadhaar" Biometric ID: Structure, Security, and Vulnerabilities
Using Selene to Verify Your Vote in JCJ
Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers
Surviving the Cryptojungle: Perception and Management of Risk Among North American Cryptocurrency (Non)Users
Zether: Towards Privacy in a Smart Contract World
Practical Fully Simulatable Oblivious Transfer with Sublinear Communication
Financial Cryptography and Data Security - 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers
A Verifiable Shuffle for the GSW Cryptosystem
Timelocked Bribing
Detecting Denial of Service Attacks in Tor
A Refined Ethical Impact Assessment Tool and a Case Study of Its Application
Computer Security Research with Human Subjects: Risks, Benefits and Informed Consent
A Provably Secure PKCS#11 Configuration Without Authenticated Attributes
Short Paper: On Game-Theoretically-Fair Leader Election
Certificate Recocation: Mechanics and Meaning
Leveraging Bitcoin Testnet for Bidirectional Botnet Command and Control Systems
Privacy-Preserving Anti-money Laundering Using Secure Multi-party Computation
PassPage: Graphical Password Authentication Scheme Based on Web Browsing Records
Insured MPC: Efficient Secure Computation with Financial Penalties
Efficient Round-Optimal Blind Signatures in the Standard Model
Mitigating Inadvertent Insider Threats with Incentives
Dis-Empowerment Online: An Investigation of Privacy-Sharing Perceptions and Method Preferences
Passwords: If We're So Smart, Why Are We Still Using Them?
Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality
Unlinkability and Interoperability in Account-Based Universal Payment Channels
Securing Cryptocurrency Exchange: Building up Standard from Huge Failures
Individual Verifiability and Revoting in the Estonian Internet Voting System
Anonymous Tokens with Public Metadata and Applications to Private Contact Tracing
Asynchronous Optimistic Fair Exchange Based on Revocable Items
Short Paper: A New Way to Achieve Round-Efficient Asynchronous Byzantine Agreement
Authentic Attributes with Fine-Grained Anonymity Protection
A Private Stable Matching Algorithm
Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits
Exploring the Monero Peer-to-Peer Network
Short Squeeze in DeFi Lending Market: Decentralization in Jeopardy?
Efficient Agreement Over Byzantine Gossip
Ethical Considerations of Sharing Data for Cybersecurity Research
Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance
Mining for Privacy: How to Bootstrap a Snarky Blockchain
Lixom: Protecting Encryption Keys with Execute-Only Memory
Short Paper: DeFi Deception - Uncovering the Prevalence of Rugpulls in Cryptocurrency Projects
Ethical Issues in E-Voting Security Analysis
Playing "Hide and Seek" with Stored Keys
Integrated Power Plant and Bitcoin Mining Economics
Improving the Efficiency of AES Protocols in Multi-Party Computation
Efficient Correlated Action Selection
Digital Signatures Today
"Major Key Alert!" Anomalous Keys in Tor Relays
I Think, Therefore I Am: Usability and Security of Authentication Using Brainwaves
An Efficient Micropayment System Based on Probabilistic Polling
Financial Cryptography and Data Security, 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers
Scam Token Detection Based on Static Analysis Before Contract Deployment
Can Nature Help Us Solve Risk Management Issues?
Financial Cryptography, 5th International Conference, FC 2001, Grand Cayman, British West Indies, February 19-22, 2002, Proceedings
Fraud and Data Availability Proofs: Detecting Invalid Blocks in Light Clients
Don't Let MEV Slip: The Costs of Swapping on the Uniswap Protocol
DroidAuditor: Forensic Analysis of Application-Layer Privilege Escalation Attacks on Android (Short Paper)
Multiple Denominations in E-cash with Compact Transaction Data
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media
Short Paper: Estimating Patch Propagation Times Across Blockchain Forks
METDS - A Self-contained, Context-Based Detection System for Evil Twin Access Points
Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS
Proactive RSA with Non-interactive Signing
Everything You Ever Wanted to Know About Bitcoin Mixers (But Were Afraid to Ask)
Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Verifiability of Helios Mixnet
P4R: Privacy-Preserving Pre-Payments with Refunds for Transportation Systems
UTS: The Universal Token Swapper
Privacy-Preserving Post-quantum Credentials for Digital Payments
Eagle: Efficient Privacy Preserving Smart Contracts
On-Chain Auctions with Deposits
Origami Voting: A Non-cryptographic Approach to Transparent Ballot Verification
Dissecting Bitcoin and Ethereum Transactions: On the Lack of Transaction Contention and Prioritization Transparency in Blockchains
Dynamic Virtual Credit Card Numbers
Transaction Fee Mechanism Design with Active Block Producers
Election Manipulation 100
Analysis and Improvement of a Pseudorandom Number Generator for EPC Gen2 Tags
Performance of Shuffling: Taking It to the Limits
Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities
Real Hidden Identity-Based Signatures
Golden Times for Digital Rights Management?
Proofs of Proofs of Work with Sublinear Complexity
Combining Secret Sharing and Garbled Circuits for Efficient Private IEEE 754 Floating-Point Computations
The Superlinearity Problem in Post-quantum Blockchains
Financial Cryptography and Data Security - FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers
Offline Micropayments without Trusted Hardware
Congestion-Aware Path Selection for Tor
Expecting the Unexpected: Towards Robust Credential Infrastructure
Computer-Supported Cooperative Crime
Privacy Tradeoffs: Myth or Reality? Panel
A Blockchain Based Approach to Resource Sharing in Smart Neighbourhoods
Financial Cryptography, Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings
On the Security of Homage Group Authentication Protocol
Leveraging the Verifier's Dilemma to Double Spend in Bitcoin
Efficient Broadcast Encryption Scheme with Log-Key Storage
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains
On Non-cooperative Genomic Privacy
Cryptanalysis of the OTM Signature Scheme from FC'02
Unique Ring Signatures: A Practical Construction
On-the-fly Homomorphic Batching/Unbatching
SnarkPack: Practical SNARK Aggregation
BehavioCog: An Observation Resistant Authentication Scheme
Not So Predictable Mining Pools: Attacking Solo Mining Pools by Bagging Blocks and Conning Competitors
An Efficient and Usable Multi-show Non-transferable Anonymous Credential System
Load Balancing for Sharded Blockchains
German Voters' Attitudes Towards Voting Online with a Verifiable System
Attacking of SmartCard-Based Banking Applications with JavaScript-Based Rootkits
Oblivious Printing of Secret Messages in a Multi-party Setting
Decentralized Prediction Market Without Arbiters
Targeting FPGA DSP Slices for a Large Integer Multiplier for Integer Based FHE
Panel: Public Key Infrastructure: PKIX, Signed XML or Something Else?
Analyzing the Bitcoin Ponzi Scheme Ecosystem
A Traceability Attack against e-Passports
Forsage: Anatomy of a Smart-Contract Pyramid Scheme
Short Paper: Onion Messages on Leash
ValueShuffle: Mixing Confidential Transactions for Comprehensive Transaction Privacy in Bitcoin
Squealing Euros: Privacy Protection in RFID-Enabled Banknotes
Weighing Down "The Unbearable Lightness of PIN Cracking"
Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity
A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols
New Standards for E-Voting Systems: Reflections on Source Code Examinations
DeFi Composability as MEV Non-interference
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Unlinkable Serial Transactions
Position Statement in RFID S&P Panel: RFID and the Middleman
Verifiable Secret Sharing for General Access Structures, with Application to Fully Distributed Proxy Signatures
Controlled Homomorphic Encryption: Definition and Construction
Secure Vickrey Auctions without Threshold Trust