presentations
This page contains links to various presentations and talks I have
been involved in. These are typically from talks I've given externally
or internally, or from courses I've attended
here at Daimi. The most recent are listed first.
-
A talk on
From
Simulations to Theorems: A Position Paper on Computational
Trust, Workshop on Formal Aspects of Security and Trust
(FAST'06), FM'06, Hamilton, On, Canada. August 2006.
Slides from the talk: [
pdf]
A talk on
An Operational
Semantics for Trust Policies, Workshop on Issues in the Theory
of Security (WITS), ETAPS, Vienna Austria, March 2006.
Slides from the talk: [
pdf]
A talk on
A Formal
Framework for Concrete Reputation-Systems with Applications to
History-Based Access Control, ACM CCS'05, Hilton Alexandria
Mark Center, VA, US, November 10, 2005.
Slides from the talk: [
pdf]
A talk on
Distributed
Approximation of Fixed Points in Trust Structures (
ICDCS'05), Hyatt
Regency, Columbus, Ohio, June 9th, 2005.
Slides from the talk: [
pdf]
A talk on
A Formal
Framework for Concrete Reputation-Systems with Applications to
History-Based Access Control,
Pi-Lambda Seminar, Daimi,
University of Aarhus, April 21st, 2005. A previous version was given
at the Informatics/CS Seminar, University of Sussex, Oct. 13th, 2004.
Slides from the talk: [pdf] superseded
by slides from
ACM CCS (above).
-
Talk on
Secret-Key Zero-Knowledge and Non-Interactive Verifiable Exponentiation,
a paper by
Damgaard and
Cramer,
BRICS Aarhus, June 7th, 2004.
Slides from the talk: [
pdf]
-
with
Kari Schougaard,
Cryptography-course 2003,
A Practical System,
Provably Secure Against
Adaptive Chosen Ciphertext Attacks, paper by Cramer and
Shoup, in Proc. Crypto'98, paper #21 at [
Shoup
]
The slides we used for the talk are available in
[
pdf]