Full Seminar Details

Prof. Luca Vigano

Prof. Luca Vigano
Alpha-Beta Privacy (a novel and declarative way to reason about privacy)
This event took place on Friday 15 June 2018 at 11:30


Formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on the static equivalence of frames in the applied pi-calculus, basically asking whether or not the intruder is able to distinguish two given worlds. A subtle question is how we can be sure that we have specified all pairs of worlds to properly reflect our intuitive privacy goal. To address this problem, we introduce a novel and declarative way to specify privacy goals, called "alpha-beta privacy", and relate it to static equivalence. This new approach is based on specifying two formulae alpha and beta in first-order logic with Herbrand universes, where alpha reflects the intentionally released information and beta includes the actual cryptographic ("technical") messages the intruder can see. Then alpha-beta privacy means that the intruder cannot derive any "non-technical" statement from beta that he cannot derive from alpha already. We describe by a variety of examples how this notion can be used in practice. Even though alpha-beta privacy does not directly contain a notion of distinguishing between worlds, there is a close relationship to static equivalence of frames that we investigate formally. This allows us to justify (and criticize) the specifications that are currently used in verification tools, and obtain partial tool support for alpha-beta privacy. 
Joint work with Sebastian Moedersheim and Thomas Gross.

Watch the webcast replay >>

Jobs

Front-end Web Developer and UX Designer (GR7)

Knowledge Media Institute (KMi)
33,199 - 39,609
Based in Milton Keynes
Temporary contract up to 20 months

The team at the OU runs the world's largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER (fosteropenscience.eu). CORE...

Front-end Web Developer and UX Designer (GR6)

Knowledge Media Institute (KMi)
27,025 - 32,236
Based in Milton Keynes
Temporary contract up to 20 months

The team at The Open University runs the world's largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER...

Research Asst / Assoc / Fellow for Blockchain Learning Verification

Knowledge Media Institute (KMi)
30,395 - 44,559 (Grade AC1 / AC2 / AC3)
Based in Milton Keynes
Temporary contract until 31st December 2021

The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research Assistant, a Research Associate or a Research Fellow...

Mobile Applications Developer (GR6)

Knowledge Media Institute (KMi)
27,025 - 32,236
Based in Milton Keynes
Permanent Appointment

The Research and Innovation Software team develop software for a range of research projects and University courses. With this role we are looking for someone who can be a mobile applications developer for the team. This would involve both...

Research Asst / Assoc / Fellow for Mainstreaming Learning Analytics

Knowledge Media Institute (KMi)
30,395 - 44,559 (Grade AC1 / AC2 / AC3)
Based in Milton Keynes
Temporary contract until 31st March 2021

The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research Assistant, a Research Associate or a Research Fellow...

Research Assistant / Associate

Knowledge Media Institute (KMi)
30,395 - 39,609 (Grade AC1 / AC2)
Based in Milton Keynes
Temporary contract until 30th April 2020

The Knowledge Media Institute (KMi) is looking for a Research Assistant or a Research Associate (depending on qualification), to work on EU funded project - Up2U. The project will be focusing on the context of secondary schools, often referred to...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team