Security and Privacy Group
> Zum Inhalt

News

Thursday, 2017-11-16

Paper accepted at CPP'18

Our work "A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations" has been accepted at the 7th ACM SIGPLAN International Conference on Certified Programs and ProofsACM SIGPLAN International Conference on Certified Programs and Proofs. More


Saturday, 2017-11-04

In the media: "Eigentlich ist es Mathematik"

Informatik Austria interviews Matteo Maffei on the foundations and digital relevance of security and privacy. More


Saturday, 2017-10-14

Paper accepted at Scaling Bitcoin 2017.

Our work on "Concurrency and Privacy with Payment-Channel Networks" has been presented at the Scaling Bitcoin Workshop 2017. Video and press coverage More


Thursday, 2017-10-12

Two papers accepted at CANS'17.

The S&P group will present two papers at the 16th International Conference on Cryptology And Network Security (CANS'17). More


Tuesday, 2017-10-03

Kickoff Event for the Security Courses at TU Wien

Presentation of all security courses at TU Wien and of the new Dual Master Degree on Information Security with TU Darmstadt. More


Wednesday, 2017-08-23

Ilya Grishchenko gives a talk at IEEE CSF 2017

Photo

Ilya Grishchenko presents our work on Android security in Santa Barbara (US) at the 30th IEEE Computer Security Foundations Symposium More


Tuesday, 2017-08-08

Two papers from the S&P group accepted at CCS 2017

Our works on "Concurrency and Privacy with Payment-Channel Networks" and "A Type System for Privacy Properties" have been accepted at the 24th ACM Conference on Computer and Communications Security (CCS 2017), the flagship ACM conference in computer security. More


Wednesday, 2017-07-05

Invited Lecture at the LAIVe Summer School 2017

Matteo Maffei gives an invited lecture on "Formal Methods for Security and Privacy" at the summer school on Logic, Artificial Intelligence and Verification 2017. More


Wednesday, 2017-07-05

Dual Master Degree in Information Security (TU Wien and TU Darmstadt)

TU Wien and TU Darmstadt have established a Dual Master Degree in Information Security, which will start in the Winter Semester 2018. More


Page 1 of 3

1 2 3 Next >