News

Proficiency evaluation

Distinguished Lecture Series with ViSP

Calculating Sensitivity by Parametricity
Lecturer: Alejandro Russo

Award

SecInt members Andrey Kofnov, Marcel Moosbrugger, Ezio Bartocci and Efstathia Bura were awarded with the Best Paper Award at the 19th International Conference on Quantitative Evaluation of Systems (QEST 2022) held in Warsaw (Poland) for the paper “Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments”

Presentation

Patrick Indri was selected for a long talk and poster presentation at EvoStar 2022 and for poster presentation at Eastern European Machine Learning Summer School (EEML 2022)

Distinguished Lecture Series with ViSP

How Dark is the Forest? On Blockchain Extractable Value in Decentralized Finance
Lecturer: Arthur Gervais →Video

Award

Marcel Moosbrugger became an Awardee of the Christina Hörbiger Prize of TU Wien and was among the 30 “TUW Under 30” who have proven their potential in a variety of areas and distinguished themselves by special achievements

Presentation

Sophie Rain presented her research on gender balance in Informatics at 1st International EUGAIN Summer Training School (EUGAIN-STS 2022)

Proficiency evaluation

• Lorenzo Veronese: Computer-Aided Formal Security Analysis of the Web Platform
• Marcel Moosbrugger: Automated Analysis of Probabilistic Programs
• Sophie Rain: Automated Verification of Game-Theoretic Security Properties for Decentralized Protocols

Distinguished Lecture Series with ViSP

Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps
Lecturer: Elissa Redmiles →Video →Slides

Distinguished Lecture Series with ViSP

How to Commit to a Private Function
Lecturer: Dan Boneh →Video →Slides

Distinguished Lecture Series with ViSP

Attacking the Brain: Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented Reality
Lecturer: Franziska Roesner →Video

Distinguished Lecture Series with ViSP

Quantifying Privacy Risks of Machine Learning Models
Lecturer: Yang Zhang →Video

Distinguished Lecture Series with ViSP

A Stab in the Dark: Blind Attacks on the Linux Kernel
Lecturer: Herbert Bos →Video

Presentation

Eleonora Nesterini presented the paper “Mining Shape Expressions with ShapeIt” at International Conference on Software Engineering and Formal Methods 2021 (SEFM)

Distinguished Lecture Series with ViSP

Cascade: Asynchronous Proof-of-Stake
Lecturer: Roger Wattenhofer →Video

Distinguished Lecture Series with ViSP

Digital Personhood: Towards Technology that Securely Serves People
Lecturer: Bryan Ford →Video →Slides

Presentation

Sophie Rain presented the first results of game-theoretical security properties and models at Dagstuhl seminar “Rigorous Methods for Smart Contracts” (Dagstuhl seminar)

Presentation

Marton Hajdu presented “Induction with Recursive Definitions in Superposition” at Formal Methods in Computer-Aided Design 2021 (FMCAD)

Presentation

Aakanksha Saha presented a lightning talk on her current research at Women in Security and Cryptography Workshop (WISC)

Presentation

Sophie Rain presented paper “Summing Up Smart Transitions” at the 33rd International Conference on Computer-Aided Verification (CAV 2021)

Distinguished Lecture Series with ViSP

Fuzz Testing and Beyond
Lecturer: Thorsten Holz →Video

Diploma Thesis Award

Marcel Moosbrugger won the Diploma Thesis Award of the City of Vienna

Distinguished Lecture Series with ViSP

Privacy and Verifiability in Certificate Transparency
Lecturer: Sarah Meiklejohn

Distinguished Lecture Series with ViSP

Proximity tracing with Coronalert: lessons learned
Lecturer: Bart Preneel →Video

Distinguished Lecture Series with ViSP

SafetyPin: Encrypted Backups with Human-Memorable Secrets
Lecturer: Henry Corrigan-Gibbs →Video

Distinguished Lecture Series with ViSP

SandTrap: Securing JavaScript-driven Trigger-Action Platforms
Lecturer: Andrei Sabelfeld →Slides