[Club2] Invitation: Adding Convenience, Preserving Confidentiality @ Wed Nov 25, 2015 14:00 - 14:45 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Adding Convenience, Preserving Confidentiality
Speaker: Sergey Grebenshchikov
Type: Master's Thesis Talk
Abstract: In this thesis, we develop an extension framework for the  
Bounded-Deducibility (BD-) security model introduced in [Kanav, Lammich and  
Popescu (2014)]. In our work on the CoCon conference management system, we  
were faced with a typical software engineering reality -- the system we  
built was used in ways we did not anticipate and implemented only a subset  
of the features needed by its users. The difficulty of keeping up with  
requirement changes and feature proposals while maintaining the security of  
the system inspired us to tackle the problem of preserving security across  
system extensions in a repeatable and verifiable manner. It is preferable  
to prove the new system secure without the need to mine into the security  
proofs of the old system. Indeed, building on top of the previous results  
as opposed to further touching the proofs of these results is a desirable  
abstraction in any verification process. Using our approach, extensions can  
be shown to preserve BD-security properties, independently of the original  
system's security proofs.
When: Wed Nov 25, 2015 14:00 - 14:45 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * club2 at mailbroy.informatik.tu-muenchen.de
     * Sergey Grebenshchikov

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=MzYyYTdhdGg4ZDN2N3RsYmY2Z2o1dGJkNWMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTZiNjRlMWIwZDE2ODZkMDNkMjRlM2Y1ZmYzN2FlZDBkOWMyN2FlZTE&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20151123/88dabb02/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2540 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20151123/88dabb02/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2593 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20151123/88dabb02/attachment.bin>