News 
Upcoming
2023-06-14 Distinguished Lecture Series with ViSP
Towards Understandable Privacy and Security Guarantees - The Human Factors Perspective
Lecturer: Katharina Krombholz
2023-06-21 Distinguished Lecture Series with ViSP
Consensus in blockchains: Overview and recent results
Lecturer: Christian Cachin
May 2023
2023-05-31 Distinguished Lecture Series with ViSP
Scaling Formal Verification to Realistic Code with Applications to DeFi Verification
Lecturer: Mooly Sagiv
2023-05-03 Distinguished Lecture Series with ViSP
When Papers Choose their Reviewers: Adversarial Machine Learning in Conference Management Systems
Lecturer: Konrad Rieck
April 2023
2023-04-17 Distinguished Lecture Series with ViSP
Logic meets Learning - Formal Synthesis with Neural Templates
Lecturer: Alessandro Abate
March 2023
Award
SecInt PhD student Stefan Kitzler has been awarded by 10th SUERF/UniCredit Foundation Research Prize for the paper Disentangling Decentralized Finance (DeFi) Compositions
2023-03-23 Presentation
SecInt PhD student Aakanksha Saha introduced a novel techniques for the authorship attribution of targeted malware attacks at the Women in Science Seminar at King’s College London, UK. ADAPT, a static machine learning-based approach to APT (Advanced Persistent Threat) attribution, automates and standardizes the attribution process across heterogeneous file types. Aakanksha will present the findings and insights obtained from applying ADAPT to a newly crafted APT dataset consisting of 5,989 real-world APT samples from approximately 162 threat groups, spanning from May 2006 to October 2021
Award
SecInt PhD student Sophie Rain has been awarded by the Christiana HÖRBIGER Award
December 2022
Achievement
5 fundamental research projects submitted by SecInt faculty members are the winners of the ICT22 WWTF competition in the field of information and communication technologies. The сommission of international experts selected 9 projects from 66 short and 26 full applications. The total amount of funding is € 6,606,000
Award
SecInt PhD student Marcel Moosbrugger has been awarded by “Radhia Cousot Young Researchers Best Paper Award 2022” for the paper “Solving Invariant Generation for Unsolvable Loops” (joint work with Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Miroslav Stankovič)
2022-12-05 Proficiency evaluation
- Eleonora Nesterini: Specification mining for Cyber-Physical Systems
- Marton Hajdu: Scaling Induction in Saturation
- Andrey Kofnov: Multivariate continuous signal modelling with applications in Probabilistic Programming
November 2022
Talk
At TEDxSalzburg 2022, Marcel Moosbrugger delivered a talk titled “Künstliche Intelligenz: Ein Duell zwischen Mensch und Maschine?” on the role of artificial intelligence in modern society and the challenges of human interaction with these systems. The talk offers a valuable perspective on the future of technology, particularly in the fields of data analysis and AI development. With in-depth knowledge and exciting insights into these areas, Marcel provides a captivating look into the cutting-edge world of technology. →Video
Award
SecInt member Sophie Rain is awarded by Netidee 2022 Stipend (Call 17). Her research “Automated Verification of Game-Theoretic Security Properties for Decentralized Protocols” became one of 13 interesting and innovative projects selected by the jury to promote and further develop the Internet in Austria through opensource
September 2022
2022-09-19 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”
July 2022
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)
June 2022
2022-06-15 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)
May 2022
2022-05-13 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
April 2022
2022-04-13 Distinguished Lecture Series with ViSP
Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps
Lecturer: Elissa Redmiles
→Video →Slides
March 2022
2022-03-09 Distinguished Lecture Series with ViSP
How to Commit to a Private Function
Lecturer: Dan Boneh
→Video →Slides
February 2022
2022-02-09 Distinguished Lecture Series with ViSP
Attacking the Brain: Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented Reality
Lecturer: Franziska Roesner
→Video
January 2022
2022-01-12 Distinguished Lecture Series with ViSP
Quantifying Privacy Risks of Machine Learning Models
Lecturer: Yang Zhang
→Video
December 2021
2021-12-15 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)
November 2021
2021-11-24 Distinguished Lecture Series with ViSP
Cascade: Asynchronous Proof-of-Stake
Lecturer: Roger Wattenhofer
→Video
October 2021
2021-10-13 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)
September 2021
Presentation
Aakanksha Saha presented a lightning talk on her current research at Women in Security and Cryptography Workshop (WISC)
July 2021
Presentation
Sophie Rain presented paper “Summing Up Smart Transitions” at the 33rd International Conference on Computer-Aided Verification (CAV 2021)
May 2021
2021-05-12 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
April 2021
2021-04-14 Distinguished Lecture Series with ViSP
Privacy and Verifiability in Certificate Transparency
Lecturer: Sarah Meiklejohn
March 2021
2021-03-10 Distinguished Lecture Series with ViSP
Proximity tracing with Coronalert: lessons learned
Lecturer: Bart Preneel
→Video
February 2021
2021-02-10 Distinguished Lecture Series with ViSP
SafetyPin: Encrypted Backups with Human-Memorable Secrets
Lecturer: Henry Corrigan-Gibbs
→Video
January 2021
2021-01-13 Distinguished Lecture Series with ViSP
SandTrap: Securing JavaScript-driven Trigger-Action Platforms
Lecturer: Andrei Sabelfeld
→Slides