Security and Privacy Group
> Zum Inhalt


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


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 >