Secure Systems Lab
The Secure Systems Lab, also known as SecLab, is a division of the SecPriv research unit at TU Wien. It focuses on applied systems security, a broad field researching computer systems' security and privacy aspects.
The Secure Systems Lab, also known as SecLab, is a division of the SecPriv research unit at TU Wien. We focus on applied systems security, a broad field researching computer systems' security and privacy aspects.
A sneak peek into our current research areas:
- Mobile Security and Privacy have become an integral part of our daily lives through the devices we carry around because this trove of information attracts malicious actors. We are studying how apps are (ab-)using the vast amount of data accessible to them and working on improving safeguards to protect people. For this, we are developing novel approaches to make the automated analysis of apps more robust on Android and iOS.
- IoT Security and Privacy is difficult to analyze because of the ever-increasing number of “smart” devices and the requirement for hardware. However, we aim to have a more holistic understanding of this field by studying their mobile apps, smart hubs, network protocols, and cloud infrastructure.
- Malware Analysis and Detection need to keep up with the evolving landscape of increasingly specialized and sophisticated attacks. Although Machine Learning systems are being used for detection and prevention of malicious activities, their complexity often makes them black boxes. We aim to improve these models by working on real-world scenarios and having explainable machine learning models to interpret their decisions and better understand their limitations.
Supervised by Assistant Prof. Martina Lindorfer, SecLab cooperates with Uni Bochum and SBA Research. Funding includes WWTF grant ICT19-056 “Analyzing and Understanding the Internet of Insecure Things.”
If you are interested in learning more and collaborating or have questions, reach out to Prof. Martina Lindorfer. If you are a student who wants to write your bsc/msc thesis with us, please write a mail to email@example.com and mention the seclab.
Main directions of our research include:
- Cryptography for Privacy
Zero-knowledge proofs and blockchains
- Provably secure and efficient cryptography
Design of cryptographic schemes and optimization for specific applications
- Scalability and Interoperability of Blockchains
Payment channels and blockchain protocols
- Static analysis
Frameworks for automatic soundness checks of programs
- Web security
Formal verification of web protocols and standards