yusuke1997/dblp-id-title huggingface dataset:
Composable Message Semantics in Oberon
Executable Assertions and Separate Compilation
Combining Oberon with Active Objects
Dynamic Runtime Optimization
Design of Multilingual Retargetable Compilers: Experience of the XDS Framework Evolution
The Design of a COM-Oriented Module System
Project C2 - A Survey of an Industrial Embedded Application with Native Oberon for PC
Mobile Agents Based on Concurrent Constraint Programming
A Multiprocessor Kernel for Active Object-Based Systems
Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components
Internal and External Token-Based Synchronization in Object-Oriented Languages
Nearly Optimal Register Allocation with PBQP
Programming Language Concepts for Multimedia Application Development
System Architecture and Design Using Co-operating Groups of Real and Abstract Components
From Programming Languages to Program Construction
Systems = Components + Languages: Building a Flexible Real-Time Simulation and Test Environment
Reconciling Virtual Classes with Genericity
Generative Programming (GP) with C++
A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus
The KITE Application Server Architecture
Adding Persistence to the Oberon-System
Using Real Time Constraints for Modularisation
Structuring a Compiler with Active Objects
Lightweight Parametric Polymorphism for Oberon
Classboxes: A Minimal Module Model Supporting Local Rebinding
An Object-Oriented Database Programming Environment for Oberon
Do the Fish Really Need Remote Control? A Proposal for Self-Active Objects in Oberon
Rethinking Our Trade and Science: From Developing Components to Component-Based Development
On Extending Java
Modular Programming Languages, Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000, Proceedings
Object-Oriented Language Processing
A Component Plug-In Architecture for the .NET Platform
Oberon as an Implementation Language for COM Components: A Case Study in Language Interoperability
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers
Choosing Modula-3 as "Mother-Tongue"
Caste: A Step beyond Object Orientation
Just-in-Time Stub Generation
Implicit and Dynamic Parameters in C++
Oberon Script: A Lightweight Compiler and Runtime System for the Web
Automatic Object Colocation Based on Read Barriers
Explicit Namespaces
Type Inference for Late Binding: The SmallEiffel Compiler
Multi-language, Multi-target Compiler Development: Evolution of the Gardens Point Compiler Project
The Development of Procedural Programming Languages: Personal Contributions and Perspectives
Seamless Integration of Online Services in the Oberon Document System
Distributed XML Objects
Leonardo: A Framework for Modeling and Editing Graphical Components
OMX-FS: An Extended File System Architecture Based on a Generic Object Model
Metaprogramming Library for the C# Programming Language
Leveraging Managed Frameworks from Modular Languages
Language Definition in the Schütz Semantic Editor
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos
The Essence of Programming Languages
Types That Reflect Changes of Object Usability
Reflection in Oberon
Fast Profile-Based Partial Redundancy Elimination
A Design Pattern and Programming Framework for Interactive Metacomputing
Evolving a Multi-language Object-Oriented Framework: Lessons from .NET
Computing with Distributed Resources
Abstraction and Modularization in the BETA Programming Language
Building Your Own Tools: An Oberon Industrial Case-Study
A Layered Type System for Re-entrance Control
Controlling Access to Distributed Object Frameworks
Safely Extending Procedure Types to Allow Nested Procedures as Values
A Component Language for Structured Parallel Programming
Fighting Class Name Clashes in Java Component Systems
Event-Based Programming Without Inversion of Control
A Messaging Architecture for Distributed Objects in Oberon
CDCS: A New Development Approach for Distributed Applications in Java
Modularisation of Software Configuration Management
Flexible Type-Safe Linking of Components for Java-Like Languages
Efficient Layer Activation for Switching Context-Dependent Behavior
Developing a Full Life Cycle Language
An Abstract Data Type for Freezable Lists and DAGs
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
Array-Structured Object Types for Mathematical Programming
Programming Education: A Russian Perspective
Evaluating the Java Virtual Machine as a Target for Languages Other Than Java
The Verifying Compiler: A Grand Challange for Computing Research
Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings
Improve Component-Based Programs with Connectors
Real-Time Systems Development Using Hierarchical State Machines
Zonnon for.NET - A Language and Compiler Experiment
Safe Code - It's Not Just for Applets Anymore
How Well Do Inheritance Mechanisms Support Inheritance Concepts?
Event Library: An Object-Oriented Library for Event-Driven Design
On Adding a Query Language to a Persistent Object System
LL(1) Conflict Resolution in a Recursive Descent Compiler Generator
Derivation of Secure Parallel Applications by Means of Module Embedding
Object Life-Cycle Management in a Highly Flexible Middleware System
Source-to-Source Transformation in the Large
Inheriting Synchronization Protocols via Sound Enrichment Rules
Symbolic Analysis of Imperative Programming Languages
A Case Study in Concurrent Programming with Active Objects
Compiler Support for Reference Tracking in a Type-Safe DSM
Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
Static Type Checking and Method Lookup in Plop!
A Framework for Modular Linking in OO Languages
Towards a Formal Semantics for AspectJ Weaving
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language
Scalable Modules in Generic Modula-2
A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification
Incentives, Overlays, and Economic Traffic Control, Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming
Implementation and Performance Evaluation of the re-ECN Protocol
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control
Stability of Alliances between Service Providers
Estimating AS Relationships for Application-Layer Traffic Optimization
A Study of Non-neutral Networks with Usage-Based Prices
Mobile Internet in Stereo: An End-to-End Scenario
The Applicability of Context-Based Multicast - A Shopping Centre Scenario
Overlay Connection Usage in BitTorrent Swarms
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays
Business-Driven QoS Management of B2C Web Servers
Getting Security Objectives Wrong: A Cautionary Tale of an Industrial Control System
Shaping Our Mental Model of Security
HoneyPAKEs (Transcript of Discussion)
Guaranteeing Access in Spite of Distributed Service-Flooding Attacks
A Comparison of RSA and the Naccache-Stern Public-Key Cryptosystem
Keynote Address: The Changing Environment
Cyberdice: Peer-to-Peer Gambling in the Presence of Cheaters
Security Protocols XVIII - 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers
Simulating Perceptions of Security (Transcript of Discussion)
Reconsidering Attacker Models in Ad-Hoc Networks
Authentication Components: Engineering Experiences and Guidelines
Secure Processor Consistent with Both Foreign Software Protection and User Privacy Protection
The Correctness of Crypto Transaction Sets (Discussion)
Make Noise and Whisper: A Solution to Relay Attacks
Making Decryption Accountable
The Least Privacy-Damaging Centralised Traffic Data Retention Architecture
Incentives in Security Protocols
On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion)
Towards a Survivable Security Architecture for Ad-Hoc Networks
Visual Cryptography II: Improving the Contrast Via the Cover Base
Detecting Failed Attacks on Human-Interactive Security Protocols (Transcript of Discussion)
Privacy is Linking Permission to Purpose (Transcript of Discussion)
Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion)
Ghost Trace on the Wire? Using Key Evidence for Informed Decisions (Transcript of Discussion)
Digital Immolation (Transcript of Discussion)
Security Protocols, 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers
Composing Security Metrics
Time-Lock Puzzle with Examinable Evidence of Unlocking Time
Determining an Economic Value of High Assurance for Commodity Software Security
Social Constructionism in Security Protocols - A Position on Human Experience, Psychology and Security
Statistical Metrics for Individual Password Strength (Transcript of Discussion)
Delegation of Responsibility (Position Paper)
Pseudonymity in the Light of Evidence-Based Trust
Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion)
Merkle Puzzles Revisited - Finding Matching Elements Between Lists
Controlling Who Tracks Me
Why I'm Not an Entropist
Government Access to Keys - Panel Discussion
Gearing Up: How to Eat Your Cryptocake and Still Have It (Transcript of Discussion)
Countering Automated Exploits with System Security CAPTCHAS
The Dark Side of the Code
Attack Detection vs. Privacy - How to Find the Link or How to Hide It?
Authorisation Subterfuge by Delegation in Decentralised Networks
Street-Level Trust Semantics for Attribute Authentication
User-Friendly Grid Security Architecture and Protocols
Inductive Analysis of the Internet Protocol TLS (Position Paper)
Can We Fix the Security Economics of Federated Authentication? (Transcript of Discussion)
The Lifetime of Android API Vulnerabilities: Case Study on the JavaScript-to-Java Interface (Transcript of Discussion)
From Security Protocols to Systems Security
Sleepwalking into Disaster? Requirements Engineering for Digital Cash (Transcript of Discussion)
Trust Management and Whether to Delegate (Transcript of Discussion)
Red Queen's Race: APT Win-Win Game (Transcript of Discussion)
Overview of the AT&T Labs Trust-Management Project (Position Paper)
A Cryptographic Framework for the Controlled Release of Certified Data (Transcript of Discussion)
Security is Beautiful
Security from Disjoint Paths: Is It Possible? (Transcript of Discussion)
Virtually Perfect Democracy
Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms
Introduction: Bringing Protocols to Life (Transcript of Discussion)
Choosing Your Friends: Shaping Ethical Use of Anonymity Networks (Transcript of Discussion)
Generating Channel Ids in Virtual World Operating Systems (Transcript of Discussion)
DOS-Resistant Authentication with Client Puzzles
Integrity-Aware PCBC Encryption Schemes
Why Isn't Trust Transitive?
Delegation of Signalling Rights
Sleepwalking into Disaster? Requirements Engineering for Digital Cash (Position Paper)
Multi-channel Protocols
Disclosure Control of Natural Language Information to Enable Secure and Enjoyable Communication over the Internet - (Transcript of Discussion)
Simple Defences against Vibration-Based Keystroke Fingerprinting Attacks
Repairing the Bluetooth Pairing Protocol
Non-monotonic Security Protocols and Failures in Financial Intermediation
Cordial Security Protocol Programming
More Security or Less Insecurity
Low Cost Attacks on Tamper Resistant Devices
What We Can Learn from API Security
Password Authenticated Key Exchange by Juggling
Communication Setup in Anonymous Messaging (Transcript of Discussion)
Establishing Distributed Hidden Friendship Relations
A Real World Application of Secure Multi-party Computations (Duplicate Bridge for Cheapskates)
Using Dust Clouds to Enhance Anonymous Communication
Application-Oriented Security Policies and Their Composition (Position Paper)
Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents
Handling New Adversaries in Wireless Ad-Hoc Networks (Transcript of Discussion)
Modeling Partial Attacks with Alloy
Open Questions (Transcript of Discussion)
Vintage Bit Cryptography
Is Entity Authentication Necessary?
Evolution of SSL/TLS Indicators and Warnings in Web Browsers (Transcript of Discussion)
Key Escrow in Mutually Mistrusting Domains
Analysis of Issues and Challenges of E-Voting in the UK
How to Sync with Alice
Entropy Crowdsourcing - Protocols for Link Key Updates in Wireless Sensor Networks
The Metaplace Security Model
Attacking Each Other
Spraying Diffie-Hellman for Secure Key Exchange in MANETs (Transcript of Discussion)
Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks
Mergers and Principals (Transcript of Discussion)
Verifiable Classroom Voting: Where Cryptography Meets Pedagogy
Pico: No More Passwords! (Transcript of Discussion)
Review and Revocation of Access Privileges Distributed with PKI Certificates
Towards a Stronger Location Integrity (Transcript of Discussion)
It's the Anthropology, Stupid! (Transcript of Discussion)
Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable)
TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing (Transcript of Discussion)
What Next after Anonymity?
Red Button and Yellow Button: Usable Security for Lost Security Tokens (Transcript of Discussion)
Protocol Interactions and the Chosen Protocol Attack
Making Sense of Specifications: The Formalization of SET (Transcript of Discussion)
Protocols Using Keys from Faulty Data (Transcript of Discussion)
Where Next for Formal Methods?
Insider Fraud (Position Paper)
Users and Trust in Cyberspace (Transcript of Discussion)
Alice and Bob in Love
I Cannot Tell a Lie (Transcript of Discussion)
ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets (Transcript of Discussion)
Challenges in Designing a Distributed Cryptographic File System (Transcript of Discussion)
His Late Master's Voice: Barking for Location Privacy
Authentication of IT Professionals in the Wild - A Survey
Protocols with Certified-Transfer Servers
The Resurrecting Duckling: Security Issues for Ad-hoc Wireless Networks
Secure Fingerprinting Using Public-Key Cryptography (Position Paper)
Security Made, Not Perfect, But Automatic (Transcript of Discussion)
Challenges of Fiction in Network Security - Perspective of Virtualised Environments (Transcript of Discussion)
Auditable PAKEs: Approaching Fair Exchange Without a TTP
Zero-Knowledge User Authentication: An Old Idea Whose Time Has Come
Lightweight Authentication in a Mobile Network (Transcript of Discussion)
Design and Verification of Anonymous Trust Protocols
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World
TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing
Beyond Trust (Transcript of Discussion)
Brief Encounters with a Random Key Graph
Evolutionary Design of Attack Strategies
Location-Private Interstellar Communication (Transcript of Discussion)
Raven Authentication Service - Attacks and Countermeasures
Red Button and Yellow Button: Usable Security for Lost Security Tokens
Reconsidering Attacker Models in Ad-Hoc Networks (Transcript of Discussion)
It's the Anthropology, Stupid!
Towards Flexible Credential Negotiation Protocols (Discussion)
Hardened Stateless Session Cookies
FawkesCoin: A Cryptocurrency Without Public-Key Cryptography (Transcript of Discussion)
Why Preventing a Cryptocurrency Exchange Heist Isn't Good Enough
The Evolution of a Security Control
Redesigning Secure Protocols to Compel Security Checks
Limitations of IPsec Policy Mechanisms (Discussion)
Introduction: Alice Doesn't Live Here Anymore (Transcript)
Self Attestation of Things
Delegation and Not-So Smart Card (Transcript of Discussion)
Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract)
Back Channels Can Be Useful! - Layering Authentication Channels to Provide Covert Communication (Transcript of Discussion)
Audio CAPTCHA with a Few Cocktails: It's so Noisy I Can't Hear You
Affordable Security or Big Guy vs Small Guy - Does the Depth of Your Pockets Impact Your Protocols?
Protocols Using Anonymous Connections: Mobile Applications
On the Negotiation of Access Control Policies
Digital Immolation - New Directions for Online Protest
Transporting a Secret Using Destructively-Read Memory
Your Code Is My Code: Exploiting a Common Weakness in OAuth 2.0 Implementations
Incentives and Censorship Resistance for Mixnets Revisited (Transcript of Discussion)
Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion)
Authentication of IT Professionals in the Wild - A Survey (Transcript of Discussion)
Security Design in Human Computation Games (Transcript of Discussion)
Is the Honeymoon over?
Human-Computability Boundaries
Anonymous Authentication (Transcript of Discussion)
Malicious Clients in Distributed Secret Sharing Based Storage Networks (Transcript of Discussion)
Negotiation of Access Control Policies (Transcript of Discussion)
One User, Many Hats; and, Sometimes, No Hat: Towards a Secure Yet Usable PDA
Usability of Security Management: Defining the Permissions of Guests
Towards a Theory of Trust in Networks of Humans and Computers
Scrambling for Lightweight Censorship Resistance (Transcript of Discussion)
A Multi-OS Approach to Trusted Computer Systems
Raven Authentication Service Attacks and Countermeasures (Transcript of Discussion)
Certification and Delegation (Transcript of Discussion)
Safer Scripting Through Precompilation
Your Code Is My Code: Exploiting a Common Weakness in OAuth 2.0 Implementations (Transcript of Discussion)
Verifiable Postal Voting
Authenticating Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis
Towards a Mechanism for Discretionary Overriding of Access Control (Transcript of Discussion)
Intentionality and Agency in Security (Transcript of Discussion)
Controlling Your Neighbour's Bandwidth for Fun and for Profit (Transcript of Discussion)
Blood in the Water (Transcript of Discussion)
Relay-Proof Channels Using UWB Lasers
Snitches Get Stitches: On the Difficulty of Whistleblowing
Phish and Chips
Introduction (Transcript)
Requirements for Root of Trust Establishment
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols (Transcript of Discussion)
Anonymous Context Based Role Activation Mechanism
Trusted Introductions for Secure Messaging
Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer
When Context Is Better Than Identity: Authentication by Context Using Empirical Channels
Robbing the Bank with a Theorem Prover - (Abstract)
Modeling Partial Attacks with Alloy (Transcript of Discussion)
Establishing Trust with Privacy (Transcript of Discussion)
Pico: No More Passwords!
Bootstrapping Adoption of the Pico Password Replacement System (Transcript of Discussion)
External Consistency and the Verification of Security Protocols (Transcript of Discussion)
Relay Attacks on Visual Code Authentication Schemes (Transcript of Discussion)
How to Speak an Authentication Secret Securely from an Eavesdropper
A New Concept in Protocols: Verifiable Computational Delegation (Transcript of Discussion)
On Storing Private Keys in the Cloud
Power and Permission in Security Systems
Using Dust Clouds to Enhance Anonymous Communication (Transcript of Discussion)
On Storing Private Keys in the Cloud (Transcript of Discussion)
Security Protocols XXI - 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Explicit Delegation Using Configurable Cookies
How to Sync with Alice (Transcript of Discussion)
On the Key Role Intelligence Agencies Can Play to Restore Our Democratic Institutions (Transcript of Discussion)
The Trust Economy of Brief Encounters
Accountable Privacy (Transcript of Discussion)
How to Keep Bad Papers Out of Conferences (Transcript of Discussion)
A Model for System-Based Analysis of Voting Systems
Putting the Human Back in the Protocol
Secure Sessions from Weak Secrets (Discussion)
Enhancements to Prepare-and-Measure-Based QKD Protocols (Transcript of Discussion)
Broadening the Scope of Fault Tolerance within Secure Services
Smearing Fingerprints: Changing the Game of Web Tracking and Differential Privacy (Transcript of Discussion)
SMAPs: Short Message Authentication Protocols
Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction (Transcript of Discussion)
If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure Is Hard
Spraying Diffie-Hellman for Secure Key Exchange in MANETs
Transparency Enhancing Technologies to Make Security Protocols Work for Humans (Transcript of Discussion)
Usability Issues in Security (Transcript of Discussion)
Enhancing Privacy with Shared Pseudo Random Sequences
Fawkescoin - A Cryptocurrency Without Public-Key Cryptography
Broadening the Scope of Fault Tolerance within Secure Services (Transcript of Discussion)
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come
Strange Bedfellows: How and When to Work with Your Enemy (Transcript of Discussion)
The Dancing Bear: A New Way of Composing Ciphers
Remodelling the Attacker in Voting Protocols
Getting Web Authentication Right A Best-Case Protocol for the Remaining Life of Passwords
Mobile IPv6 Security
Innovations for Grid Security from Trusted Computing
Audio CAPTCHA with a Few Cocktails: It's So Noisy I Can't Hear You (Transcript of Discussion)
Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques
Directed Signatures and Application to Threshold Cryptosystems
Caught in the Maze of Security Standards (Transcript of Discussion)
Back Channels Can Be Useful! - Layering Authentication Channels to Provide Covert Communication
Trust*: Using Local Guarantees to Extend the Reach of Trust
Users and Trust in Cyberspace
A Proof of Non-repudiation
Thwarting Timing Attacks Using ATM Networks (Transcript of Discussion)
INTERNET-MARKs: Clear, Secure, and Portable Visual Marks for the Cyber Worlds
Practical Escrow Cash System
Introduction: Authentic Privacy
Collaborating with the Enemy on Network Management
Man-in-the-Middle in Tunnelled Authentication Protocols (Discussion)
Keep on Blockin' in the Free World: Personal Access Control for Low-Cost RFID Tags
Fighting the 'Good' Internet War
Bringing Zero-Knowledge Proofs of Knowledge to Practice
Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers
Discussion Session - Trust Management
Towards Human-Centric Endpoint Security
A Security Perspective on Publication Metrics
Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings
Combinatorial Optimization of Countermeasures against Illegal Copying
External Consistency and the Verification of Security Protocols (Position Paper)
BLIND: A Complete Identity Protection Framework for End-Points (Transcript of Discussion)
One User, Many Hats; and Sometimes, No Hat (Transcript of Discussion)
Better Authentication Password Revolution by Evolution (Transcript of Discussion)
Stayin' Alive: Aliveness as an Alternative to Authentication
Dancing with the Adversary: A Tale of Wimps and Giants (Transcript of Discussion)
Affordable Security or Big Guy vs Small Guy (Transcript of Discussion)
Short Certification of Secure RSA Modulus (Transcript of Discussion)
Security Protocols XXVIII - 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
A Cryptographic Framework for the Controlled Release of Certified Data
Password Authenticated Key Exchange by Juggling (Transcript of Discussion)
Implementing a Multi-hat PDA
Transparency Enhancing Technologies to Make Security Protocols Work for Humans
How Does Match-Fixing Inform Computer Game Security? (Transcript of Discussion)
Incentives and Censorship Resistance for Mixnets Revisited