Security and Privacy Group
> Zum Inhalt


Friday, 2018-01-12

Matteo Maffei joins the VCLA and LogiCS executive board.

Matteo Maffei was invited to join the executive board of the Vienna Center for Logics and Algorithms (VCLA) and the Doctoral Program on Logical Methods in Computer Science (LogiCS) More

Friday, 2018-01-12

Research Visit

Stefano Calzavara and Mauro Tempesta from Ca' Foscari University of Venice visit the Security & Privacy group at TU Wien. More

Friday, 2017-12-29

Renewal of the LogiCS doctoral program

Following the success of the first period, FWF has granted funding for a second period (2018-2022) with more than 15 Ph.D. positions. Topics of interest include formal methods for security and privacy. More

Monday, 2017-12-11

Invited Talk by Pedro Moreno-Sanchez (Purdue University): 19.12.2017, 11:00, HS 11.

Pedro Moreno-Sanchez (Purdue University) talks about "Challenges and Solutions for Security and Privacy in Payment-Channel Networks". Date: 19.12.2017 Time: 11:15 - 12:45 Lecture Hall: HS 11 Paul Ludwik More

Wednesday, 2017-12-06

Paper accepted at PETS'18.

Our work on "Functional Credentials" has been accepted at the 18th Privacy Enhancing Technology Symposium. More

Wednesday, 2017-12-06

FFG Bridge 1 Project pDLART

The FFG Bridge 1 Project "pDLART: Privacy-respecting Distributed Ledger and Regulatory Technologies" has been approved. This is a joint project with SBA Research, Stadler Völkel Rechtsanwälte, and Coinfinity GmbH. More

Wednesday, 2017-11-29

ERC Consolidator grant

Matteo Maffei is awarded an ERC Consolidator Grant for the project “Browsec: Foundations and Tools for Client-Side Web Security” . He is working on a plugin that will make browsers safe – and is logically impossible to fool. More

Sunday, 2017-11-26

Netidee funding for the project Ethertrust

The Security and Privacy (S&P) group has received a netidee grant from the Internet Privatstiftung Austria for the project Ethertrust. More

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

Page 1 of 4

1 2 3 4 Next >