yusuke1997/dblp-id-title huggingface dataset:
Gamification for Teaching and Learning Computer Security in Higher Education
Fighting Coercion Attacks in Key Generation using Skin Conductance
TAPAS: An Efficient Online APT Detection with Task-guided Process Provenance Graph Segmentation and Analysis
Detecting Compromise of Passkey Storage on the Cloud
Trusted Disk Loading in the Emulab Network Testbed
MOVERY: A Precise Approach for Modified Vulnerable Code Clone Discovery from Modified Open-Source Software Components
To Catch a Predator: A Natural Language Approach for Eliciting Malicious Payloads
"Threat modeling is very formal, it's very technical, and also very hard to do correctly": Investigating Threat Modeling Practices in Open-Source Software Projects
Measuring Real-World Accuracies and Biases in Modeling Password Guessability
GEMS Tabulation Database Design Issues in Relation to Voting Systems Certification Standards
"It's Stored, Hopefully, on an Encrypted Server": Mitigating Users' Misconceptions About FIDO2 Biometric WebAuthn
Pretty Good Phone Privacy
LEMIX: Enabling Testing of Embedded Applications as Linux Applications
More Simplicity for Trainers, More Opportunity for Attackers: Black-Box Attacks on Speaker Recognition Systems by Inferring Feature Extractor
Double Face: Leveraging User Intelligence to Characterize and Recognize AI-synthesized Faces
Replayable Voting Machine Audit Logs
eSIMplicity or eSIMplification? Privacy and Security Risks in the eSIM Ecosystem
An Internet-Wide View of Internet-Wide Scanning
Practical Privacy-Preserving Authentication for SSH
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks
Micro-Virtualization Memory Tracing to Detect and Prevent Spraying Attacks
IDFuzz: Intelligent Directed Grey-box Fuzzing
DNS-sly: Avoiding Censorship through Network Complexity
PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs
Preech: A System for Privacy-Preserving Speech Transcription
PINE: Efficient Verification of a Euclidean Norm Bound of a Secret-Shared Vector
SigFree: A Signature-free Buffer Overflow Attack Blocker
A Plan for Malware Containment in the DETER Testbed
Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting
Fuzzification: Anti-Fuzzing Techniques
Locating Prefix Hijackers using LOCK
A Tool for Teaching Reverse Engineering
LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks
Cached and Confused: Web Cache Deception in the Wild
GlobalConfusion: TrustZone Trusted Application 0-Days by Design
A Comprehensive Study of DNS-over-HTTPS Downgrade Attack
LaserAdv: Laser Adversarial Attacks on Speech Recognition Systems
Voluntary Investment, Mandatory Minimums, or Cyber Insurance: What Minimizes Losses?
Rethinking Hardware Support for Network Analysis and Intrusion Prevention
Understanding Help-Seeking and Help-Giving on Social Media for Image-Based Sexual Abuse
Attacks are Forwarded: Breaking the Isolation of MicroVM-based Containers Through Operation Forwarding
From the Childhood Past: Views of Young Adults on Parental Sharing of Children's Photos
Capability Exchange: Improving Access Control Usability in Health IT
Examining the Efficacy of Decoy-based and Psychological Cyber Deception
Digital-Ticket-Controlled Digital Ticket Circulation
"I wouldn't want my unsafe code to run my pacemaker": An Interview Study on the Use, Comprehension, and Perceived Risks of Unsafe Rust
Ballot Casting Assurance
2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '11, San Francisco, CA, USA, August 8-9, 2011
PoisonedRAG: Knowledge Corruption Attacks to Retrieval-Augmented Generation of Large Language Models
Towards a Comprehensive Picture of the Great Firewall's DNS Censorship
OBLIVIATOR: OBLIVIous Parallel Joins and other OperATORs in Shared Memory Environments
Fairness Properties of Face Recognition and Obfuscation Systems
Defeating TCP/IP Stack Fingerprinting
Triplet Censors: Demystifying Great Firewall's DNS Censorship Behavior
Account Verification on Social Media: User Perceptions and Paid Enrollment
"Johnny, you are fired!" - Spoofing OpenPGP and S/MIME Signatures in Emails
Privilege Separation in HTML5 Applications
AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads
Critical Code Guided Directed Greybox Fuzzing for Commits
Osiris: Automated Discovery of Microarchitectural Side Channels
Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors
Morphuzz: Bending (Input) Space to Fuzz Virtual Devices
Strategies and Vulnerabilities of Participants in Venezuelan Influence Operations
Password Managers: Attacks and Defenses
Formalizing Soundness Proofs of Linear PCP SNARKs
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
VoteBox Nano: A Smaller, Stronger FPGA-based Voting Machine
Automating Cookie Consent and GDPR Violation Detection
Investigating Energy and Security Trade-offs in the Classroom with the Atom LEAP Testbed
Percentages, Probabilities and Professions of Performance
Inexpensive Brainwave Authentication: New Techniques and Insights on User Acceptance
Investigating Moderation Challenges to Combating Hate and Harassment: The Case of Mod-Admin Power Dynamics and Feature Misuse on Reddit
A Hypervisor Based Security Testbed
Extension Breakdown: Security Analysis of Browsers Extension Resources Control Policies
Fledging Will Continue Until Privacy Improves: Empirical Analysis of Google's Privacy-Preserving Targeted Advertising
UNVEIL: A Large-Scale, Automated Approach to Detecting Ransomware
One-Way Indexing for Plausible Deniability in Censorship Resistant Storage
RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices
Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key Management
SoK: Security of Programmable Logic Controllers
Dompteur: Taming Audio Adversarial Examples
I Know What You Said: Unveiling Hardware Cache Side-Channels in Local Large Language Model Inference
SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage
Augmenting Decompiler Output with Learned Variable Names and Types
Improving Logging to Reduce Permission Over-Granting Mistakes
Learning with Semantics: Towards a Semantics-Aware Routing Anomaly Detection System
Boxer: Preventing fraud by scanning credit cards
EVILCOHORT: Detecting Communities of Malicious Accounts on Online Services
vpwns: Virtual Pwned Networks
NeuroScope: Reverse Engineering Deep Neural Network on Edge Devices using Dynamic Analysis
A Large-scale Temporal Measurement of Android Malicious Apps: Persistence, Migration, and Lessons Learned
Verify your Labels! Trustworthy Predictions and Datasets via Confidence Scores
Dark Clouds on the Horizon: Using Cloud Storage as Attack Vector and Online Slack Space
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
HyPFuzz: Formal-Assisted Processor Fuzzing
4th USENIX Workshop on Free and Open Communications on the Internet, FOCI '14, San Diego, CA, USA, August 18, 2014
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
The Strengths of Weaker Identities: Opportunistic Personas
A "Divergent"-Themed CTF and Urban Race for Introducing Security and Cryptography
AWare: Preventing Abuse of Privacy-Sensitive Sensors via Operation Bindings
The Industrial Age of Hacking
Accurately Measuring Global Risk of Amplification Attacks using AmpMap
Unveiling the Hunter-Gatherers: Exploring Threat Hunting Practices and Challenges in Cyber Defense
Evading Provenance-Based ML Detectors with Adversarial System Actions
Private Signaling
TRUESET: Faster Verifiable Set Computations
Energy Attack on Server Systems
Effective and Efficient Malware Detection at the End Host
Mobile Private Contact Discovery at Scale
Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Remote Direct Memory Introspection
Privacy Solution or Menace? Investigating Perceptions of Radio-Frequency Sensing
DECAF: Automatic, Adaptive De-bloating and Hardening of COTS Firmware
Reverse-Engineering a Cryptographic RFID Tag
U Can't Debug This: Detecting JavaScript Anti-Debugging Techniques in the Wild
Venerable Variadic Vulnerabilities Vanquished
Does Finality Gadget Finalize Your Block? A Case Study of Binance Consensus
On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification Analysis
Polynomial Commitment with a One-to-Many Prover and Applications
Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols
PriSEC: A Privacy Settings Enforcement Controller
Bohatei: Flexible and Elastic DDoS Defense
Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
Pancake: Frequency Smoothing for Encrypted Data Stores
DupLESS: Server-Aided Encryption for Deduplicated Storage
Quickshear Defacing for Neuroimages
AnimateDead: Debloating Web Applications Using Concolic Execution
Dr. Jekyll or Mr. Hyde: Information Security in the Ecosystem of Healthcare
DARKFLEECE: Probing the Dark Side of Android Subscription Apps
Permutations in Prêt à Voter
Demystifying the (In)Security of QR Code-based Login in Real-world Deployments
Remote Attacks on Speech Recognition Systems Using Sound from Power Supply
TPM-FAIL: TPM meets Timing and Lattice Attacks
Understanding the Security and Privacy Implications of Online Toxic Content on Refugees
Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It
NeuroPots: Realtime Proactive Defense against Bit-Flip Attacks in Neural Networks
MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
Automating DDoS Experimentation
Exploitable Redirects on the Web: Identification, Prevalence, and Defense
USB Snooping Made Easy: Crosstalk Leakage Attacks on USB Hubs
ExecScent: Mining for New C&C Domains in Live Networks with Adaptive Control Protocol Templates
Audit Mechanisms for Privacy Protection in Healthcare Environments
Security Benchmarking using Partial Verification
Does Online Anonymous Market Vendor Reputation Matter?
Explanation Beats Context: The Effect of Timing & Rationales on Users' Runtime Permission Decisions
A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard
A Friend's Eye is A Good Mirror: Synthesizing MCU Peripheral Models from Peripheral Drivers
Copilot - a Coprocessor-based Kernel Runtime Integrity Monitor
Isolated and Exhausted: Attacking Operating Systems via Site Isolation in the Browser
BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding
Exit from Hell? Reducing the Impact of Amplification DDoS Attacks
Abusability of Automation Apps in Intimate Partner Violence
Shielding Software From Privileged Side-Channel Attacks
Probabilistic Attack Sequence Generation and Execution Based on MITRE ATT&CK for ICS Datasets
Measuring Offensive Speech in Online Political Discourse
Who's Calling? Characterizing Robocalls through Audio and Metadata Analysis
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
Targeted Deanonymization via the Cache Side Channel: Attacks and Defenses
M2R: Enabling Stronger Privacy in MapReduce Computation
A Practical Congestion Attack on Tor Using Long Paths
FOAP: Fine-Grained Open-World Android App Fingerprinting
Not Everything is Dark and Gloomy: Power Grid Protections Against IoT Demand Attacks
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation
Users Really Do Answer Telephone Scams
Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations
An Empirical Study of Web Resource Manipulation in Real-world Mobile Applications
FreeEagle: Detecting Complex Neural Trojans in Data-Free Cases
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
URL Inspection Tasks: Helping Users Detect Phishing Links in Emails
ACORN: Input Validation for Secure Aggregation
Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning
Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services
The Persistent Hacker
Request and Conquer: Exposing Cross-Origin Resource Size
Old MacDonald had a smart farm: Building a testbed to study cybersecurity in smart dairy farming
Fast Regular Expression Matching Using Small TCAMs for Network Intrusion Detection and Prevention Systems
Finding User/Kernel Pointer Bugs with Type Inference
Towards Targeted Obfuscation of Adversarial Unsafe Images using Reconstruction and Counterfactual Super Region Attribution Explainability
The Phantom Tollbooth: Privacy-Preserving Electronic Toll Collection in the Presence of Driver Collusion
Establishing Browser Security Guarantees through Formal Shim Verification
Reverse Engineering Python Applications
PGP in Constrained Wireless Devices
Websites' Global Privacy Control Compliance at Scale and over Time
Hand Me Your PIN! Inferring ATM PINs of Users Typing with a Covered Hand
An Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data
Protecting E-healthcare Client Devices against Malware and Physical Theft
Systematic Evaluation of Privacy Risks of Machine Learning Models
Efail: Breaking S/MIME and OpenPGP Email Encryption using Exfiltration Channels
Dynamic Hooks: Hiding Control Flow Changes within Non-Control Data
CURE: A Security Architecture with CUstomizable and Resilient Enclaves
Practical Asynchronous High-threshold Distributed Key Generation and Distributed Polynomial Sampling
Identifying Disinformation Websites Using Infrastructure Features
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing
3rd USENIX Workshop on Free and Open Communications on the Internet, FOCI '13, Washington, D.C., USA, August 13, 2013
Security Audit of Safeplug "Tor in a Box"
Exploring User Perceptions of Discrimination in Online Targeted Advertising
Exploiting Leakage in Password Managers via Injection Attacks
Towards Application-Aware Anonymous Routing
Oblivious Digital Tokens
Cardinal Pill Testing of System Virtual Machines
Towards Predicting Efficient and Anonymous Tor Circuits
Where art thou, Eve? Experiences laying traps for Internet eavesdroppers
"But they have overlooked a few things in Afghanistan: " An Analysis of the Integration of Biometric Voter Verification in the 2019 Afghan Presidential Elections
On Attack Causality in Internet-Connected Cellular Networks
Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Privacy-Preserving Computation of Disease Risk by Using Genomic, Clinical, and Environmental Data
Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications
Fuzz The Power: Dual-role State Guided Black-box Fuzzing for USB Power Delivery
BrakTooth: Causing Havoc on Bluetooth Link Manager via Directed Fuzzing
A Longitudinal, End-to-End View of the DNSSEC Ecosystem
2007 USENIX/ACCURATE Electronic Voting Technology Workshop, EVT'07, Boston, MA, USA, August 6, 2007
Length Leakage in Oblivious Data Access Mechanisms
Poison Forensics: Traceback of Data Poisoning Attacks in Neural Networks
XRay: Enhancing the Web's Transparency with Differential Correlation
2017 USENIX Workshop on Advances in Security Education, ASE 2017, Vancouver, BC, Canada, August 15, 2017
Local Model Poisoning Attacks to Byzantine-Robust Federated Learning
In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication
GhostTouch: Targeted Attacks on Touchscreens without Physical Touch
HELP: Helper-Enabled In-Band Device Pairing Resistant Against Signal Cancellation
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK)
Cardpliance: PCI DSS Compliance of Android Applications
00SEVen - Re-enabling Virtual Machine Forensics: Introspecting Confidential VMs Using Privileged in-VM Agents
Synchronization Storage Channels (S2C): Timer-less Cache Side-Channel Attacks on the Apple M1 via Hardware Synchronization Instructions
AMIsim: Application-layer Advanced Metering Infrastructure Simulation Framework for Secure Communication Protocol Performance Evaluation
Administrative and Public Verifiability: Can We Have Both?
SEER: A Security Experimentation EnviRonment for DETER
Attack-Resistant Trust Metrics for Public Key Certification
On the Security Risks of Knowledge Graph Reasoning
Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012
Chimera: Creating Digitally Signed Fake Photos by Fooling Image Recapture and Deepfake Detectors
One Bit Flips, One Cloud Flops: Cross-VM Row Hammer Attacks and Privilege Escalation
Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions
Behind the Tube: Exploitative Monetization of Content on YouTube
Jenny: Securing Syscalls for PKU-based Memory Isolation Systems
Using Prêt à Voter in Victoria State Elections
An Assessment of the Usability of Cybercrime Datasets
Insecure Context Switching: Inoculating Regular Expressions for Survivability
DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks
Greenhouse: Single-Service Rehosting of Linux-Based Firmware Binaries in User-Space Emulation
Teaching Authentication in High Schools: Challenges and Lessons Learned
Communications Disruption & Censorship under International Law: History Lessons
CLARION: Sound and Clear Provenance Tracking for Microservice Deployments
Principles for Developing Comprehensive Network Visibility
SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data
Watch Out Your TV Box: Reversing and Blocking a P2P-based Illegal Streaming Ecosystem
V'CER: Efficient Certificate Validation in Constrained Networks
Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences
Ensuring Authorized Updates in Multi-user Database-Backed Applications
Vis-à-vis Cryptography: Private and Trustworthy In-Person Certifications
4th Workshop on Cyber Security Experimentation and Test, CSET '11, San Francisco, CA, USA, August 8, 2011
Man-in-the-Machine: Exploiting Ill-Secured Communication Inside the Computer
Abusing Hidden Properties to Attack the Node.js Ecosystem
Lotto: Secure Participant Selection against Adversarial Servers in Federated Learning
Lessons Lost: Incident Response in the Age of Cyber Insurance and Breach Attorneys
Password Guessing Using Random Forest
PharmaLeaks: Understanding the Business of Online Pharmaceutical Affiliate Programs
SoK: Machine Learning for Misinformation Detection
SoK: On Gradient Leakage in Federated Learning
Investigating the Impact of Online Community Involvement on Safety Practices and Perceived Risks Among People Who Use Drugs
FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets
FastKitten: Practical Smart Contracts on Bitcoin
Exploring Privacy and Incentives Considerations in Adoption of COVID-19 Contact Tracing Apps
6thSense: A Context-aware Sensor-based Attack Detector for Smart Devices
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
Evil Under the Sun: Understanding and Discovering Attacks on Ethereum Decentralized Applications
iOS, Your OS, Everybody's OS: Vetting and Analyzing Network Services of iOS Applications
"All of them claim to be the best": Multi-perspective study of VPN users and VPN providers
HyTrack: Resurrectable and Persistent Tracking Across Android Apps and the Web
High Performance Tor Experimentation from the Magic of Dynamic ELFs
Susan Landau, Tufts University
SnailLoad: Exploiting Remote Network Latency Measurements without JavaScript
On Subliminal Channels in Encrypt-on-Cast Voting Systems
HECO: Fully Homomorphic Encryption Compiler
Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning
Two-in-One: A Model Hijacking Attack Against Text Generation Models
FFXE: Dynamic Control Flow Graph Recovery for Embedded Firmware Binaries
SARA: Secure Android Remote Authorization
Learning From Others' Mistakes: Penetration Testing IoT Devices in the Classroom
Tachyon: Tandem Execution for Efficient Live Patch Testing
Wireless Signal Injection Attacks on VSAT Satellite Modems
Polisis: Automated Analysis and Presentation of Privacy Policies Using Deep Learning
Analysis and Exercises for Engaging Beginners in Online CTF Competitions for Security Education
A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service
FuzzOrigin: Detecting UXSS vulnerabilities in Browsers through Origin Fuzzing
Using CQUAL for Static Analysis of Authorization Hook Placement
Rampart: Protecting Web Applications from CPU-Exhaustion Denial-of-Service Attacks
NOKEScam: Understanding and Rectifying Non-Sense Keywords Spear Scam in Search Engines
MetaSymploit: Day-One Defense against Script-based Attacks with Security-Enhanced Symbolic Analysis
Rectifying Privacy and Efficacy Measurements in Machine Unlearning: A New Inference Attack Perspective
The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording
Secure Coprocessor Integration with Kerberos V5
ZQL: A Compiler for Privacy-Preserving Data Processing
Getting the Face Behind the Squares: Reconstructing Pixelized Video Streams
A Mechanized Model of the Theory of Objects
Type-Safe Runtime Class Upgrades in Creol
Guiding Distributed Systems Synthesis with Language-Based Security Policies
Specifying Reusable Controllers for Software Components (Short Paper)
Mobile Nets
Semantic Foundations and Inference of Non-null Annotations
Behavioural Subtyping and Property Preservation for Active Objects
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
Protocol Assuring Universal Language
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm
A Formal Specification of the CORBA Event Service
A Formal Language for Electronic Contracts
Separating Distribution from Coordination and Computation as Architectural Dimensions
A Minimal Set of Refactoring Rules for Object-Z
Analysis of UML Activities Using Dynamic Meta Modeling
SDL in Rigorus Object-Oriented Analysis (Short Paper)
A Dynamic Class Construct for Asynchronous Concurrent Objects
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
On a Temporal Logic for Object-Based Systems
Temporal Superimposition of Aspects for Dynamic Software Architecture
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
Mobility Mechanisms in Service Oriented Computing
On Mobility Extensions of UML Statecharts. A Pragmatic Approach
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols
A Formal Service Specification for IIOP based on ISO/IEC 14752
Refinement of objects and operations in Object-Z
A Refinement Method for Java Programs
An Abstract Machine for the Kell Calculus
Engineering Telecommunication Services With SDL
Sessions and Pipelines for Structured Service Programming
Distributed and concurrent objects based on linear logic (Invited Talk)
Behavioural Subtyping and Property Preservation
Piccola - A Small Compositional Language (Invited Talk)
New Operators for the TURTLE Real-Time UML Profile
Java's Integral Types in PVS
Asynchronous Session Types and Progress for Object Oriented Languages
Reasoning about Histories in Object-based Distributed Systems
Abstract Interface Behavior of Object-Oriented Languages with Monitors
Developing Object-based Distributed Systems
Security Issues in Service Composition
Specification of Mobile Code Systems using Graph Grammars
Towards Object-Oriented Graphs and Grammars
Formal Development of Object-Based Systems in a Temporal Logic Setting
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
A Practical Approach to Incremental Specification
LSCs: Breathing Life into Message Sequence Charts
Observation equivalences for the semantics of inheritance
Requirements Level Semantics for UML Statecharts
A Logic for the Specification of Multi-Object Systems (Short Paper)
Verification of Distributed Object-Based Systems
Checking Behavioural Subtypes via Refinement
A Theory of May Testing for Actors
Behavior Expression and OMDD
A Calculus for Long-Running Transactions
Composition in Multiparadigm Specification Techniques
E-speak: the Technology for Ubiquitous E-services