csstalk

The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains

Who: Daniele Friolo from Sapienza University of Rome, Italy \ When: 15:00 - 16:00 Wednesday {{ page.date | date_to_long_string }}\ Where: Room 5128, EDIT building.\ Title: {{ page.title }} Abstract:\

SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting

Who: Elena Pagnin from Aarhus University, Denmark \ When: 10:00 - 11:00 Wednesday {{ page.date | date_to_long_string }}\ Where: Room Analysen, EDIT building.\ Title: {{ page.title }} Abstract:\ As messaging applications are becoming increasingly popular, it is of utmost importance to analyze their security and mitigate existing weaknesses.

Trusted Execution Environments for Privacy-preserving Cloud Applications

Who: Pascal Felber from the University of Neuchâtel, Switzerland \ When: 11:15 - 12:30 Friday{{ page.date | date_to_long_string }}\ Where: EL42, EDIT building.\ Title: {{ page.title }} Abstract:\ In this talk, we will give an overview of popular trusted execution environments (TEEs), with special emphasis on Intel’s SGX, and we will describe how they can be exploited for implementing privacy-preserving operations in the Cloud that are both secure and efficient.

CLIO: Cryptographically Secure Information Flow Control on Key-Value Stores

Who: Pablo Buiras, PhD from Chalmers, now PostDoc at Harvard university\ When: 10:30 - 11:30 Friday{{ page.date | date_to_long_string }}\ Where: room EDIT 3364\ Title: {{ page.title }} Abstract:\ Cryptography can in principle be used to protect users' data when stored or transmitted, but in practice is error-prone and can potentially result in a violation of a user’s security concerns.

Historical Analyses of the Client-Side Web Security and How to tell people they have an issue

Who: room EDIT 8103\ When: 9:30-10:30{{ page.date | date_to_long_string }}\ Where: room EDIT 8103 \ Title: {{ page.title }} Abstract:\ In this talk, I will present two lines of research I am currently pursuing.

Recent work on probabilistic programming languages

Who: Daniel Huang \ When: 16.00 {{ page.date | date_to_long_string }}\ Where: 5128 (Grouproom) \ Title: {{ page.title }} Abstract:\ In this talk, we will present some of our recent work on probabilistic programming languages.

Privacy and security threat modeling: current research directions

Who: Riccardo Scandariato \ When: 11h00 - 11h30 {{ page.date | date_to_long_string }}\ Where: Lindholmen, Jupiter building, 4th floor, room 473\ Title: {{ page.title }} Abstract:\ Threat analysis is the cornerstone of security-by-design and privacy-by-design approaches for building more secure and privacy-friendly software systems.

Security and Privacy on Medical Devices

Who: Pablo Picazo\ When: Friday, {{ page.date | date_to_long_string }}\ Where: room 5128\ Title: {{ page.title }} Abstract:\ The new generation of Implantable Medical Devices (IMDs) is a reality but the security threats mainly linked to the inclusion of wireless connectivity seem to have not received the adequate attention.

ZKBoo: Faster Zero-Knowledge for Boolean Circuits

Who: Fname Lname\ When: Thursday, {{ page.date | date_to_long_string }}, 14:00-15:00\ Where: Room 3364\ Title: {{ page.title }} Abstract:\ In this talk we describe ZKBoo, a proposal for practically efficient zero-knowledge arguments especially tailored for Boolean circuits and report on a proof-of-concept implementation.

Enhancing the COWL W3C Standard

Who: Niklas Andreasson\ When: 10:00, June 8 \ Where: room EDIT 8103\ Title: {{ page.title }} Abstract:\ Web applications are often composed by resources such as JavaScript written, and provided, by different parties.