- 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
- VERIFY'10,
6th International Verification Workshop -
PC member
Edinburgh, UK, 20-21 July 2010
(Submission deadline: mid April 2010)
- SAC'10,
25th ACM Symposium on Applied Computing -
PC member
Lausanne, Switzerland, 22-26 March 2010
(Submission deadline: 8 September 2009)
- CIS'09,
5th International Conference on Computational Intelligence and Security
PC member
Beijing, China, 11-14 December 2009
(Submission deadline: 30 June 2009)
- CCS'09,
2009 ACM Conference on Computer and Communication Security -
PC member
Chicago, IL, 9-13 November 2009
(Submission deadline: 20 April 2009)
- WISG'09,
Workshop on Information Security Governance (affiliated with
CCS'09) -
PC member
Chicago, IL, 13 November 2009
(Submission deadline: 26 June 2009)
- ASIAN'09,
13th Annual Asian Computing Science Conference -
PC member
Urumqi, China, 8-10 October 2009
(Submission deadline: 27 May 2009)
- STM'09,
5th International Workshop on Security and Trust Management
PC member
Saint Malot, France, 24-25 September 2009
(Submission deadline: 21 June 2009)
- DPM'09,
4th International Workshop on Data Privacy Management
PC member
Saint Malot, France, 24 September 2009
(Submission deadline: 10 June 2009)
- SAC'09,
24th ACM Symposium on Applied Computing -
PC member
Honolulu, Hawaii, 8-12 March 2009
(Submission deadline: 16 August 2008)
- Bibliographies
- More
Last modified: Thu Nov 12, 09