yusuke1997/dblp-id-title huggingface dataset:
Do You Believe in Tinker Bell? The Social Externalities of Trust (Transcript of Discussion)
Establishing Trust with Privacy
Security Design in Human Computation Games
Red Queen's Race: APT Win-Win Game
Lack of Explicitness Strikes Back (Transcript of Discussion)
Censorship Resistance as a Side-Effect
On the Value of Hybrid Security Testing (Transcript of Discussion)
Pictures Can't Lie under Oath
PayWord and MicroMint: Two Simple Micropayment Schemes
Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't
Towards a Survivable Security Architecture for Ad-Hoc Networks (Transcript of Discussion)
Independent Computations for Safe Remote Electronic Voting (Transcript of Discussion)
Deniable Authenticated Key Establishment for Internet Protocols (Discussion)
Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers
Looking on the Bright Side of Black-Box Cryptography (Transcript of Discussion)
The Dining Freemasons (Security Protocols for Secret Societies)
Statistical Metrics for Individual Password Strength
Multiple Objectives of Lawful-Surveillance Protocols (Transcript of Discussion)
Security Protocols, 7th International Workshop, Cambridge, UK, April 19-21, 1999, Proceedings
The Correctness of Crypto Transaction Sets
What Is Authentication?
Modelling Agents' Knowledge Inductively
Bot, Cyborg and Automated Turing Test
Self Attestation of Things (Transcript of Discussion)
Addressing New Challenges by Building Security Protocols Around Graphs
One-Way Cryptography (Transcript of Discussion)
His Late Master's Voice (Transcript of Discussion)
Shaping Our Mental Model of Security (Transcript of Discussion)
Remark!: A Secure Protocol for Remote Exams (Transcript of Discussion)
Performance of Protocols
Why Are We Authenticating (Transcript of Discussion)
Keynote Address: Security Protocols and the Swiss Army Knife (Transcript of Discussion)
Collaborating with the Enemy on Network Management (Transcript of Discussion)
Towards Human-Centric Endpoint Security (Transcript of Discussion)
Towards a Verified Reference Implementation of a Trusted Platform Module
Who Is Benefiting from Your Fitness Data? A Privacy Analysis of Smartwatches
Accountable Privacy
The Initial Costs and Maintenance Costs of Protocols
Toward a Broader View of Security Protocols
A Model for System-Based Analysis of Voting Systems (Transcript of Discussion)
Resiliency Aspects of Security Protocols
PIN (and Chip) or Signature: Beating the Cheating?
Selective Location Blinding Using Hash Chains
Protocol Governance: The Elite, or the Mob?
Too Big to FAIL: What You Need to Know Before Attacking a Machine Learning System (Transcript of Discussion)
Protocol Codesign (Discussion)
More Security or Less Insecurity (Transcript of Discussion)
From Security Protocols to Systems Security (Discussion)
Remodelling the Attacker (Transcript of Discussion)
SG Logic- A Formal Analysis Technique for Authentication Protocols
Shatter Secrets: Using Secret Sharing to Cross Borders with Encrypted Devices (Transcript of Discussion)
Extending Full Disk Encryption for the Future (Transcript of Discussion)
Determining an Economic Value of High Assurance for Commodity Software Security (Transcript of Discussion)
Relatios Between Secrets: The Yahalom Protocol
Identity and Location
Private Yet Abuse Resistant Open Publishing (Transcript of Discussion)
Listen Too Closely and You May Be Confused
Risks of Blind Controllers and Deaf Views in Model View Controller Patterns for Multitag User Interfaces
Requirements for Root of Trust Establishment (Transcript of Discussion)
Securing the Residential Asynchronous Transfer Mode Networks
Censorship-Resilient Communications through Information Scattering (Transcript of Discussion)
Ghost Trace on the Wire? Using Key Evidence for Informed Decisions
Malicious Clients in Distributed Secret Sharing Based Storage Networks
Protocols Using Keys from Faulty Data
SMAPs: Short Message Authentication Protocols (Transcript of Discussion)
Auditing against Multiple Policies
Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks (Discussion)
The Evolution of a Security Control or Why Do We Need More Qualitative Research of Software Vulnerabilties? (Transcript of Discussion)
Relay-Proof Channels Using UWB Lasers (Transcript of Discussion)
Toward a Broader View of Security Protocols (Transcript of Discussion)
Censorship Resistance as a Side-Effect (Transcript of Discussion)
Approaches to Modelling Security Scenarios with Domain-Specific Languages
Dancing with the Adversary: A Tale of Wimps and Giants
Bridging the Gap between Vulnerabilities and Threats in Electronic Voting - Abstract
A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion)
Blind Auditing and Probabilistic Access Controls
Exploiting Autocorrect to Attack Privacy (Transcript of Discussion)
Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion)
Enforcing Security Policies for Distributed Objects Applications (Discussion)
Blind Publication: A Copyright Library without Publication or Trust
HoneyPAKEs
Why Bother Securing DNS? (Transcript of Discussion)
Make Noise and Whisper: A Solution to Relay Attacks (Transcript of Discussion)
Risk of Blind Controller Patterns for Multitag User Interfaces (Transcript of Discussion)
Attack Detection vs Privacy - How to Find the Link or How to Hide It (Transcript of Discussion)
Panel Session: Is Protocol Modelling Finished?
NetCard - A Practical Electronic-Cash System
Measurable Security through Isotropic Channels (Transcript of Discussion)
Scrambling for Lightweight Censorship Resistance
Issues in Multicast Security
Qualitative Analysis for Trust Management
Problems of Provenance for Digital Libraries (Transcript of Discussion)
Application-Oriented Security Policies and Their Composition (Transcript of Discussion)
The Man-in-the-Middle Defence
On the Key Role Intelligence Agencies Can Play to Restore Our Democratic Institutions
Intrusion-Tolerant Group Management in Enclaves
Making Sense of Specifications: The Formalization of SET
I Bought a New Security Token and All I Got Was This Lousy Phish - Relay Attacks on Visual Code Authentication Schemes
Cyberdice (Transcript of Discussion)
Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents (Transcript of Discussion)
The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations (Transcript of Discussion)
Discussion Session: Differences Between Academic and Commercial Security
Authentication Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis (Transcript of Discussion)
Trusted Introductions for Secure Messaging (Transcript of Discussion)
Who Is Benefiting from Your Fitness Data? A Privacy Analysis of Smartwatches (Transcript of Discussion)
How to Build Evidence in a Public-Key Infrastructure for Multi-domain Environments
Deniable Authenticated Key Establishment for Internet Protocols
Controlling Your Neighbour's Bandwidth for Fun and for Profit
Anchor-Less Secure Session Mobility
Reconciling Multiple Objectives - Politics or Markets?
Collaborating as Normal: Detecting Systemic Anomalies in Your Partner
Security Protocols XXIV - 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers
The Sense of Security and a Countermeasure for the False Sense
Verifiable Classroom Voting: Where Cryptography Meets Pedagogy (Transcript of Discussion)
Authentication for Resilience: The Case of SDN (Transcript of Discussion)
KeyNote: Trust Management for Public-Key Infrastructures (Position Paper)
Regular SPKI (Discussion)
On the Reliability of Network Measurement Techniques Used for Malware Traffic Analysis (Transcript of Discussion)
Client v. Server Side Protocols, Interfaces and Storage (Discussion)
Non-repudiation and the Metaphysics of Presence
ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets
A Weakness of the Menezes-Vanstone Cryptosystem
Mismorphism: The Heart of the Weird Machine
An Anonymous Auction Protocol Using "Money Escrow" (Transcript of Discussion)
The System Likes You?
Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys
Virtually Perfect Democracy (Transcript of Discussion)
Why Bother Securing DNS?
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion)
Towards Understanding Pure Publish/Subscribe Cryptographic Protocols (Transcript of Discussion)
Safe and Private Data Sharing with Turtle: Friends Team-Up and Beat the System
Safe and Private Data Sharing with Turtle: Friends Team-Up and Beat the System (Transcript of Discussion)
Security Protocols XXVI - 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers
Concluding Discussion: When Does Confidentiality Harm Security?
Delegation of Responsibility (Transcript of Discussion)
Towards a Secure Application-Semantic Aware Policy Enforcement Architecture
Mergers and Principals
Information Leakage Due to Revealing Randomly Selected Bits (Transcript of Discussion)
User Authentication for the Internet of Things (Transcript of Discussion)
Using Attribute Certificates for Creating Management Structures (Transcript of Discussion)
Gearing Up: How to Eat Your Cryptocake and Still Have It
Usable Privacy by Visual and Interactive Control of Information Flow
Transporting a Secret Using Destructively-Read Memory (Transcript of Discussion)
Third Party Certification of HTTP Service Access Statistics (Transcript of Discussion)
Bluetooth Security - Fact or Fiction? (Transcript of Discussion)
On Node Capturing Attacker Strategies
Electronic Payments of Small Amounts
Do Not Model the Attacker
Device Attacker Models: Fact and Fiction
Is the Verification Problem for Cryptographic Protocols Solved?
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks
The Lifetime of Android API Vulnerabilities: Case Study on the JavaScript-to-Java Interface
How to Keep Bad Papers Out of Conferences (with Minimum Reviewer Effort)
Security Protocol Deployment Risk
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion)
Towards a Theory of Application Compartmentalisation (Transcript of Discussion)
Security Made, Not Perfect, But Automatic
The Trust Shell Game (Transcript of Discussion)
Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers
Exploiting Autocorrect to Attack Privacy
Extending Full Disk Encryption for the Future
From Secure Messaging to Secure Collaboration (Transcript of Discussion)
The Price of Belief: Insuring Credible Trust? (Transcript of Discussion)
Authentication Components: Engineering Experiences and Guidelines (Transcript of Discussion)
Handling New Adversaries in Wireless Ad-Hoc Networks
Security Protocols, 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers
Man-in-the-Middle in Tunnelled Authentication Protocols
On Ideal Non-perfect Secret Sharing Schemes
Self-enforcing Electronic Voting (Transcript of Discussion)
The Casino and the OODA Loop - Why Our Protocols Always Eventually Fail
Invisible Security (Transcript of Discussion)
Generating Channel Ids in Virtual World Operating Systems (Extended Abstract)
Device Attacker Models: Fact and Fiction (Transcript of Discussion)
Privacy, Control and Internet Mobility
Communication Setup in Anonymous Messaging
End-to-End Verifiable Postal Voting (Transcript of Discussion)
Breaking Public Key Cryptosystems on Tamper Resistant Devices in the Presence of Transient Faults
Assuring the Safety of Asymmetric Social Protocols (Transcript of Discussion)
Thwarting Timing Attacks Using ATM Networks
Disclosure Control of Natural Language Information to Enable Secure and Enjoyable Communication over the Internet
Social Constructionism in Security Protocols (Transcript of Discussion)
Enforcing the Unenforceable
Secure Sessions from Weak Secrets
Towards New Security Primitives Based on Hard AI Problems
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion)
Do You Believe in Tinker Bell? The Social Externalities of Trust
Flexible Internet Secure Transactions Based on Collaborative Domains
A New Concept in Protocols: Verifiable Computational Delegation (Position Paper)
Controlling Who Tracks Me (Transcript of Discussion)
Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion)
A Novel Stateless Authentication Protocol
How Does Match-Fixing Inform Computer Game Security?
Micro-management of Risk in a Trust-Based Billing System (Transcript of Discussion)
Mind Your (R, \varPhi ) s: Location-Based Privacy Controls for Consumer Drones (Transcript of Discussion)
Security Protocols XXVII - 27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers
Denial of Service, Address Ownership, and Early Authentication in the IPv6 World (Transcript of Discussion)
Towards a Theory of Application Compartmentalisation
Security Protocols XXII - 22nd International Workshop Cambridge, UK, March 19-21, 2014 Revised Selected Papers
Inductive Analysis of the Internet Protocol TLS (Transcript of Discussion)
Self-enforcing Electronic Voting
Privacy-Sensitive Congestion Charging
Shrink-Wrapped Optimism: The DODA Approach to Distributed Document Processing
How to Convert any Digital Signature Scheme into a Group Signature Scheme
Security of Emergent Properties in Ad-Hoc Networks (Transcript of Discussion)
Censorship-Resilient Communications through Information Scattering
Multi-Channel Key Agreement Using Encrypted Public Key Exchange
Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion)
Remodelling the Attacker in Voting Protocols (Transcript of Discussion)
Overview of the AT&T Labs Trust-Management Project (Transcript of Discussion)
WAR: Wireless Anonymous Routing (Discussion)
Weak Authentication: How to Authenticate Unknown Principals without Trusted Parties
Trust Management and Network Layer Security Protocols
Keep on Blockin' in the Free World
Understanding Why Some Network Protocols Are User-Unfriendly
On the Origin of Yet another Channel
Putting the Human Back in Voting Protocols
A Protocol's Life After Attacks... (Discussion)
Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies
Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion)
Problems with Same Origin Policy - Know Thyself
One-Way Cryptography
Regular SPKI
End to End Security is Not Enough (Transcript of Discussion)
Efficient Data Intensive Secure Computations: Fictional or Real? (Transcript of Discussion)
On the Value of Hybrid Security Testing
Introduction: Brief Encounters
Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers
Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion)
Using Human Interactive Proofs to Secure Human-Machine Interactions via Untrusted Intermediaries
Invisible Security
Usability Issues in Security
Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers
Optimistic Trust with Realistic e Nvestigators (Position Paper)
Novel Security and Privacy Perspectives of Camera Fingerprints
Introduction: What's Happening on the Other Channel? (Transcript of Discussion)
The Value of Location Information
Federated Identity-Management Protocols (Discussion)
Third Party Certification of HTTP Service Access Statistics (Position Paper)
Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System
Security Limitations of Virtualization and How to Overcome Them
Towards Understanding Pure Publish/Subscribe Cryptographic Protocols
Derailing Attacks
Zero-Knowledge User Authentication: An Old Idea Whose Time Has Come (Transcript of Discussion)
Distributed Double Spending Prevention
Protocol Codesign
Too Big to FAIL: What You Need to Know Before Attacking a Machine Learning System
On the Reliability of Network Measurement Techniques Used for Malware Traffic Analysis
Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion)
Challenges in Designing a Distributed Cryptographic File System
The Trust Shell Game (Position Paper)
Legally Authorized and Unauthorized Digital Evidence
Secure Distributed Human Computation
Smearing Fingerprints: Changing the Game of Web Tracking with Composite Privacy
Evolution of SSL/TLS Indicators and Warnings in Web Browsers
The Dark Side of the Code (Transcript of Discussion)
Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings
Limits to Anonymity When Using Credentials (Transcript of Discussion)
Derailing Attacks (Transcript of Discussion)
A Rest Stop on the Unending Road to Provable Security
Client v. Server Side Protocols, Interfaces and Storage
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols
Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction
One Protocol to Rule Them All? On Securing Interoperable Messaging (Transcript of Discussion)
Federated Identity-Management Protocols
Deriving Ephemeral Authentication Using Channel Axioms
BLIND: A Complete Identity Protection Framework for End-Points
Will Technology Make Information Security Impossible? And Must Technology Be Invented Just Because We Can? (Transcript of Discussion)
Private Yet Abuse Resistant Open Publishing
Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies (Transcript of Discussion)
Insider Fraud (Transcript of Discussion)
A Protocol's Life After Attacks...
What Next After Anonymity? (Transcript of Discussion)
Secret Public Key Protocols Revisited
Selective Location Blinding Using Hash Chains (Transcript of Discussion)
An Architecture for an Adaptive Intrusion-Tolerant Server
Will Technology Make Information Security Impossible? And Must Technology Be Invented Just Because We Can? - Thoughts Occasioned by Brunner's "The Productions of Time" and Asimov's "The Dead Past"
Incentives in Security Protocols (Transcript of Discussion)
Hardened Stateless Session Cookies (Transcript of Discussion)
The Dancing Bear: A New Way of Composing Ciphers (Transcript of Discussion)
When Context Is Better Than Identity (Transcript of Discussion)
Non-monotonic Security Protocols and Failures in Financial Intermediation (Transcript of Discussion)
A Structured Operational Modelling of the Dolev-Yao Threat Model
Auditable PAKEs: Approaching Fair Exchange Without a TTP (Transcript of Discussion)
Bootstrapping Adoption of the Pico Password Replacement System
The Resurrecting Duckling - What Next? (Transcript of Discussion)
Bridging the Gap between Vulnerabilities and Threats in Electronic Voting (Transcript of Discussion)
Identity and Location (Transcript of Discussion)
On the Feasibility of a Technological Response to the Surveillance Morass
Secure Fingerprinting Using Public-Key Cryptography (Transcript of Discussion)
Human-Computability Boundaries (Transcript of Discussion)
Why Preventing a Cryptocurrency Heist Isn't Good Enough (Transcript of Discussion)
On the Security of the EMV Secure Messaging API (Transcript of Discussion)
Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
Privacy Is Linking Permission to Purpose
Reconciling Multiple Objectives - Politics or Markets? (Transcript of Discussion)
Optimistic Trust with Realistic e Nvestigators (Transcript of Discussion)
Key Exchange with the Help of a Public Ledger (Transcript of Discussion)
The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion)
Generating Random Numbers in Hostile Environments (Transcript of Discussion)
Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment
Bounded Temporal Fairness for FIFO Financial Markets (Transcript of Discussion)
Auditing against Impossible Abstractions
Biometrics to Enhance Smartcard Security (Discussion)
Remark!: A Secure Protocol for Remote Exams
Intentionality and Agency in Security
The System Likes You
Denial of Service - Panel Discussion
Collaborating as Normal: Detecting Systemic Anomalies in Your Partner (Transcript of Discussion)
Security Protocols, 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers
Security Protocols for Secret Santa
Multiple Objectives of Lawful-Surveillance Protocols
Measurable Security through Isotropic Channels
Security is Beautiful (Transcript of Discussion)
Protocol Governance: The Elite, or the Mob? (Transcript of Discussion)
The Metaplace Security Model (Transcript of Discussion)
Biometrics to Enhance Smartcard Security
Lack of Explicitness Strikes Back
Composing Security Properties
Security Protocol Deployment Risk (Transcript of Discussion)
The Resurrecting Duckling - What Next?
Secure Books: Protecting the Distribution of Knowledge
A Proof of Non-repudiation (Transcript of Discussion)
Security Protocols for Secret Santa (Transcript of Discussion)
Analyzing Delegation Properties
Snitches Get Stitches: On the Difficulty of Whistleblowing (Transcript of Discussion)
PIM Security
Not That Kind of Friend
Security Protocols XVI - 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Towards Working with Small Atomic Functions
Security Protocols, 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings
Simple Defences against Vibration-Based Keystroke Fingerprinting Attacks (Transcript of Discussion)
Problems with Same Origin Policy (Transcript of Discussion)
Censorship of eBooks (Extended Abstract)
DOS-Resistant Authentication with Client Puzzles (Transcript of Discussion)
Efficient Data Intensive Secure Computation: Fictional or Real?
Interactive Identification Protocols (Transcript of Discussion)
Merkle Puzzles Revisited (Transcript of Discussion)
On the Use of Security and Privacy Technology as a Plot Device (Transcript of Discussion)
Making Bitcoin Legal
Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers
Bounded Temporal Fairness for FIFO Financial Markets
Authentication and Naming (Transcript of Discussion)
Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion)
Beyond Trust
Robbing the Bank with a Theorem Prover - (Transcript of Discussion)
Efficient and Secure Conference-Key Distribution
Enhancements to Prepare-and-Measure Based QKD Protocols
Limitations of IPsec Policy Mechanisms
Towards a Framework for Autonomic Security Protocols (Discussion)
Making Bitcoin Legal (Transcript of Discussion)
Experiences of Mobile IP Security
The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations
Abuse of Process (Transcript of Discussion)
PIM Security (Transcript of Discussion)
Towards New Security Primitives Based on Hard AI Problems (Transcript of Discussion)
Receipt-Free Electronic Voting Schemes for Large Scale Elections
Privacy Amplification with Social Networks
Transactions Using Bets
Anchor-Less Secure Session Mobility (Transcript of Discussion)
Problems of Provenance for Digital Libraries
A Real World Application of Secure Multi-party Computations (Transcript of Discussion)
Towards a Mechanism for Discretionary Overriding of Access Control
Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices
Automatic Event-Stream Notarization Using Digital Signatures
On the Incommensurability of Laws and Technical Mechanisms: Or, What Cryptography Can't Do
Pseudonymity in the Light of Evidence-Based Trust (Transcript of Discussion)
On Trust Establishment in Mobile Ad-Hoc Networks
Encapsulating Rules of Prudent Security Engineering
Privacy Amplification with Social Networks (Transcript of Discussion)
Threshold Key-Recovery Systems for RSA
Can't Keep Them Away: The Failures of Anti-stalking Protocols in Personal Item Tracking Devices (Transcript of Discussion)
Paul Revere Protocols (Transcript of Discussion)
Location-Private Interstellar Communication