Projects

Jobs

Contact

Project Information

Electronic Commerce and Privacy

• Secure Distributed Human Computation
• Countering Identity Theft
• On Securing Distributed Computing With Payout.
• Privacy and Location Based Services.
• Person-2-Person E-commerce.
• Authentic Attributes with Fine-Grained Anonymity Protection. (Anonymity without profiling and with revocation capabilities.)
• Fair On-line Auctions Without Special Trusted Parties
• Publicly Verifiable Lotteries: Applications of Delaying Functions
• Unlinkable Serial Transactions for consumer privacy and protection against subscription sharing.

Formal Methods and Methods for Analysis, Verification and Design of Cryptographic Protocols

• On Generalized Authorization Problems
• Group Principals and Formalization of Anonymity
• Analysis Protocols for Known and Chosen Plaintext-Ciphertext Pairs
• Authentication logic for Reasoning about Synchronization, Revocation and Recency
• Analysis and Design of Message Integrity in Cryptographic Protocols
• Virtues and Limitations of Authentication Logics

Revocation, Key Distribution, and Authentication

• Addressing Online Diectionary Attacks with Login Histories and Humans-in-the-Loop
• Recent-Secure Authentication, Revocation, and Trusted Third-Party Revocation Services
• PathServer service for assuring key authenticity using multiple authentication paths
• Metrics of Authentication
• Timestamps as Nonces for Authentication and Key Distribution

Secure Software Engineering Techniques and Protocols

• Authentic Data Publication for Databases
• A General Model for Authentic Data Publication
• Authentic Data Publication over the Internet
• Certifying Data from Muliple Sources
• Authenticating query responses on XML documents without extra signatures and trusted publishers
• Authentic Third-party Data Publication
• Software Engineering for Security: a roadmap
• Security for Automated, Distributed Configuration Management
• Stack and Queue Integrity on Hostile Platforms
• Cryptographic Verification of Test Coverage Claims
• Mobile Code Analysis and Configuration Management using Revocation Techniques