Keynotes

We are proud to announce the confirmed speakers of DBSec 2012:

Annie I. Antón

Leon van der Torre

Professor of Computer Science and Communication, University of Luxembourg, Luxembourg

Title

Logic for Security and Privacy

Abstract

In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese.

Biography

Leon van der Torre is a full professor for Intelligent Systems at the University of Luxembourg, where he heads the Individual and Collective Reasoning (ICR) group and the Interdisciplinary Laboratory for Intelligent and Adaptive Systems (ILIAS). He is a staff member of the interdisciplinary center for Security, Reliability and Trust (SnT), and he founded the CSC robolab. His overarching goal is to develop and investigate comprehensive formal models and computational realizations of individual and collective reasoning and rationality. He developed the BOID agent architecture (with colleagues from Vrije Universiteit), input/output logic (with David Makinson) and the game-theoretic approach to normative multiagent systems (with Guido Boella from University of Turin). He is active in several strongly interrelated areas, notably normative multi-agent systems and deontic reasoning, autonomous intelligent agents and their cognitive dynamics, agreement technologies and computational social choice, logic-based knowledge representation and nonmonotonic reasoning. The focus is on innovative formal techniques, whether with near-term practical applications or with inspiring visionary potential. He is an editor of the handbook of deontic logic and normative systems (in preparation), deontic logic corner editor of Journal of Logic and Computation, and member of editorial board of Logic Journal of the IGPL.

Home page

Leon van der Torre

Patrick McDaniel

Patrick McDaniel

Professor in the Computer Science and Engineering Department at the Pennsylvania State University

Title

Permission-based Application Governance; A Step Forward or Backward?

Abstract

Permission based operating systems drive the overwhelming majority new application and devices platforms, and are not poised to make the jump to the desktop. Such systems–to a greater or lessor degree–provide a semantically rich collection of security primitives upon which applications and data security policy can be created. However, critics argue that the use of permissions in these emerging platforms has led to widespread insecurity and loss of privacy. This talk considers the structure and use of permission systems and considers the degree to which they have led to good security practices. A number of case studies and results are considered and broad conclusions about what should be done to improve current practices and architectures.

Biography

Patrick McDaniel is a Professor in the Computer Science and Engineering Department at the Pennsylvania State University and co-director of the Systems and Internet Infrastructure Security Laboratory. Patrick’s research efforts centrally focus on network, telecommunications, and systems security, language-based security, and technical public policy. Patrick is the editor-in-chief of the ACM Journal Transactions on Internet Technology (TOIT), and serves as associate editor of the journals ACM Transactions on Information and System Security and IEEE Transactions on Computers, and stepped down from the associate editor of IEEE Transactions on Software Engineering position in 2012. Patrick was awarded the National Science Foundation CAREER Award and has chaired several top conferences in security including, among others, the 2007 and 2008 IEEE Symposium on Security and Privacy and the 2005 USENIX Security Symposium. Prior to pursuing his Ph.D. in 1996 at the University of Michigan, Patrick was a software architect and program manager in the telecommunications industry.

Home page

Patrick McDaniel