- Computer security
Specification languages,
intruder models,
verification
- Computational logic
Linear logic,
process calculi,
programming languages,
logic
programming,
automated deduction,
temporal logic
- Formal representation
Logical frameworks,
type theory
- MSR -
A specification language for security protocols based on multiset
rewriting
- LLF -
A Linear Logical Framework
- MEC -
Modal Event Calculi
- Conferences
- AICCSA'08
6th ACS/IEEE International Conference on Computer Systems and
Applications -
chair of the Security and Information Assurance Track
Doha, Qatar, April 1-4, 2008
(Submission deadline: August 15, 2007)
- FSTTCS'07,
27th Conference on Foundations of Software Technology and Theoretical
Computer Science -
PC member
New Delhi, India, December 12-14, 2007
(Submission deadline: 17 June 2007)
- CSF-20,
20th Computer Security Foundations Symposium -
PC member
Venice, Italy, July 6-8, 2007
(Submission deadline: February 5, 2007)
- ASIAN'06,
11th Asian Computing Science Conference -
PC member
Tokyo, Japan, December 6-8, 2006
(Submission deadline: September 5, 2006)
- MFCS'06,
31st International Symposium on Mathematical Foundations
of Computer Science -
PC member
High Tatras, Slovakia, August 28 - September 1, 2006,
(Submission deadline: April 3, 2006)
- SecReT,
ICALP'06
affiliated Workshop on Security using Rewriting Techniques -
PC member
Venice, Italy, 15 June, 2006.
(Submission deadline: May 15, 2006)
- Bibliographies
- More
- Talks [by year]
Most recent:
- The Logical Meeting Point of Multiset
Rewriting and Process Algebra,
Department of Mathematics,
University of Pennsylvania,
Philadelphia, PA,
11 December 2005.
- Breaking and Fixing Public-Key
Kerberos,
11th Annual Asian Computing Science Conference -
ASIAN'06,
Tokyo, Japan,
7 December 2006.
- The Kerberos Verification
Project,
2nd
Franco-Japanese Computer Security Workshop,
Tokyo, Japan,
4 December 2006.
- A Spreadsheet for Everyday Symbolic
Reasoning,
AAAI 2006 Fall Symposium on Integrating Reasoning into Everyday
Applications -
EVERYDAY'06,
Crystal City, VA,
14 October 2006.
- Hot Topics in Computer Security,
Carnegie Mellon University
Doha, Qatar,
14 September 2006.
- Publications [by year,
by topic,
by type,
Forthcoming]
Most recent:
- With
Catherine Meadows:
"One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements",
IEEE Transactions on Dependable and Secure Computing
(TDSC),
IEEE Computer Society Press,
To appear 2007.
- With
Aaron D. Jaggard,
Joe-Kai Tsay,
Andre Scedrov
and
Christopher Walstad:
"Breaking and Fixing Public-Key Kerberos",
Eleventh Annual Asian Computing Science Conference -
ASIAN'06
(Mitsu Okada and Ichiro Satoh, editors),
pp. 164-178,
Tokyo, Japan,
6-8 December 2006.
- With
Catherine Meadows
and
Dusko Pavlovic:
"Deriving Key Distribution Protocols and their Security Properties",
Technical Report CMU-CS-06-172,
Department of Computer Science, Carnegie Mellon University,
Pittsburgh, PA,
June 2005, revised December 2006.
- "NEXCEL, a Deductive Spreadsheet",
The Knowledge Engineering Review,
To appear 2006.
- "A Spreadsheet for Everyday Symbolic Reasoning",
AAAI 2006 Fall Symposium on Integrating Reasoning into Everyday Applications -
EVERYDAY'06
(M. Kassoff, H. Stuckenschmidt, A. Valente and M. Witbrock, editors),
pp. 1-8,
Technical Report FS-06-04 (AAAI Press),
Arlington, VA,
14 October 2006.
- With
Frederic Butler,
Aaron D. Jaggard,
Andre Scedrov
and
Christopher Walstad:
"Formal Analysis of Kerberos 5",
Theoretical Computer Science,
vol. 367(1-2),
pp. 57-87,
To appear 2006.
- With
Michael Backes,
Aaron D. Jaggard,
Andre Scedrov
and
Joe-Kai Tsay:
"Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos",
11th European Symposium On Research In Computer Security -
ESORICS'06
(D. Gollmann and A. Sabelfeld, editors),
pp. 362-383,
IEEE Computer Society Press,
Hamburg, Germany,
18-20 September 2006.
- Courses [by year]
Most recent:
Last modified: Sun Apr 29, 07