Selected Research Talks
-
"Dynamics in Delegation and Revocation Schemes: A Logical Approach"
Conference paper talk, 25th Annual WG 11.3 Conference on Data and Applications Security and Privacy
Richmond, Virginia, USA, 11 July 2011
-
"New Modalities for Access Control Logics: Permission, Control and Ratification"
Workshop paper talk, 7th International Workshop on Security and Trust Management
Copenaghen, Denmark, 28 June 2011
-
"Secommunity: a Distributed Framework for Access Control"
Conference short-paper talk, 11th International Conference on Logic Programming and Nonmonotonic Reasoning
Vancouver, Canada, 17 May 2011
-
"Distributed Authorization Policies: Modal Logic and Answer Set Programming"
Invited Seminar. ISG Series. Royal Holloway University of London
Egham, UK, 24 February 2011
(Inviter: Jason Crampton)
-
"A Conditional Deconstruction of Access Control Logics"
Invited Seminar. Philosophy Dept. University of Helsinki
Helsinki, Finland, 11 February 2011
(Inviter: Sara Negri)
-
"A Semantical Account of Access Control Logics"
Invited Seminar. CS Dept. University of Leuven
Leuven, Belgium, 18 January 2011
(Inviter: Marc Denecker)
-
"Higher-Order Coalition Logic"
Conference paper talk, 19th European Conference of Artificial Intelligence 2010
Lisbon, Portugal, 19 August 2010
-
"Modal Access Control Logic: Axiomatization, Semantics and FOL Theorem Proving"
Whorkshop paper talk. 5th European Starting AI Researcher Symposium 2010
Lisbon, Protugal, 16 August 2010
-
"Logics for Access Control: a Conditional Approach"
Workshop paper talk. Logics in Security 2010
Copenhagen, Denmark, 9 August 2010
-
"A Logic of Privacy"
Conference paper talk. DBSec 2010
Rome, Italy, June 2010
-
"On the Relationship between I-O Logic and Connectionism"
Workshop paper talk. NMR 2010
Toronto, Canada, May 2010
-
"A Multimodal View on Access Control and Trust Management:
Fibred Security Language"
Workshop paper talk. STM09
Saint Malo, France, September 2009
-
"A Logical Foundation for Access Control and Trust Management:
Fibred Security Language"
Workshop paper talk. Normas09
Dagstuhl, Germany, March 2009
-
"FSL -- Fibred Security Language"
CS Colloquim. Bar-Ilan University
Ramat-Gan, Israel, January 2009
-
"Roles in Coordination and in Agent Deliberation: A Merger of Concepts"
Workshop paper talk. MALLOW-AWESOME'007
Durham, UK, September 2007
-
"A Meta-model for Roles: Introducing Sessions"
Workshop paper talk. Roles07
Berlin, Germany, July 2007
-
"Towards a General Framework for Modelling Roles"
Workshop paper talk. Normas07
Dagstuhl, Germany, March 2007