About me
I am a computer scientist with expertise in information security.
I am currently working as software developer at HaleyTek, contributing to infotainment system security and development, and as technical writer at Pi Squared.
I used to be more involved in the academic space.
I got my PhD at Chalmers University working with
Andrei Sabelfeld on developing language-based security techniques for securing IoT apps and information flow controls for WebAssembly applications.
Before that, I did my master's at MPI-SWS in Saarbrucken with Deepak Garg.
Check my Publications to see what my previous research was about.
Check the Resources section for tips on how to create different LaTex elements.
Contact: first-name [dot] last-name [at] proton [dot] me
Publications
[
Papers]
[
Posters]
[
Theses]
Papers
-
SecWasm: Information Flow Control for WebAssembly
Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld
In The 29th Static Analysis Symposium (SAS), 2022
[Paper]
[Full version with proofs]
[Slides]
[Video
-- while calming J down (pic)]
-
Automatic Annotation of Confidential Data in Java Code
Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
In The 14th International Symposium on Foundations & Practice of Security (FPS), 2021
[Paper]
[Slides]
[Video]
-
Clockwork: Tracking Remote Timing Attacks
Iulia Bastys, Musard Balliu, Tamara Rezk, and Andrei Sabelfed
In Proceedings of the IEEE Computer Security Foundations Symposium (CSF), 2020
[Paper]
[Full version with proofs]
[Supplementary material]
[Slides]
[Video]
-
Securing IoT Apps
Musard Balliu, Iulia Bastys, and Andrei Sabelfeld
In IEEE Security and Privacy Magazine (Special Issue on Internet of Things), 2019
[Paper]
-
Tracking Information Flow via Delayed Output: Addressing Privacy in IoT and Emailing Apps
Iulia Bastys, Frank Piessens, and Andrei Sabelfed
In Nordic Conference on Secure Systems (NordSec), 2018
[Paper]
[Slides]
-
Prudent Design Principles for Information Flow Control
Iulia Bastys, Frank Piessens, and Andrei Sabelfeld
In Proceedings of the Workshop on Programming Languages and Analysis for Security (PLAS), 2018
[Paper]
[Slides]
-
If This Then What? Controlling Flows in IoT Apps
Iulia Bastys, Musard Balliu, and Andrei Sabelfeld
In Proceedings of the ACM Conference on Computer and Communications Security (CCS), 2018
[Paper]
[Supplementary material]
[Slides]
[Video]
-
Towards an Architecture for Pseudonymous E-Commerce: Applying Privacy by Design to Online Shopping
Sebastian Pape, Daniel Tasche, Iulia Bastys, Akos Grosz, Jörg Lässig, and Kai Rannenberg
In SICHERHEIT, 2018
[Paper]
-
Type Systems for Information Flow Control: The Question of Granularity
Vineet Rajani, Iulia Bastys, Willard Rafnsson, and Deepak Garg
Invited article in ACM SIGLOG News 4 (1), 6-21, 2017
[Paper]
[Full version with proofs: Technical Report MPI-SWS TR-2016-012]
-
Asymmetric Secure Multi-Execution with Declassification
Iulia Boloşteanu (Bastys) and Deepak Garg
In Proceedings of the International Conference on Principles of Security and Trust (POST), 2016
[Paper]
[Full version with proofs]
[Slides]
Posters
-
Securing IoT Apps.
Iulia Bastys, Musard Balliu, and Andrei Sabelfeld.
Poster at the 4th IEEE European Symposium on Security and Privacy (Euro S&P), 2019.
-
Security in Web-based Workflows.
Thomas Bauereiss, Abhishek Bichhawat, Iulia Boloşteanu (Bastys), Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, Helmut Seidl, Markus Tasch, and Leander Tentrup.
Poster at the 36th Symposium on Security and Privacy (S&P), 2015.
Theses
Service
Program committee member
PriSC 2022.
Reviewer
ACM Computing Survey 2021.
External reviewer
USENIX 2024,
CSF 2022,
Euro S&P 2022,
CSF 2021,
Euro S&P 2021,
CSF 2020,
CCS 2019,
S&P 2018,
BIOSIG 2017,
ESORICS 2017,
SENSYBLE 2017, IFIP Sec 2017, TACAS 2015, CISIM 2012.
Teaching
- Databases (TDA357) |
[LP3 2021]
- Algorithms and Data Structures (TDA417) |
[LP2 2021]
[LP2 2020]
- Introduction to Functional Programming (TDA555) |
[LP1 2021]
[LP1 2020]
- Principles of Concurrent Programming (TDA384) |
[LP3 2018]
[LP1 2018]
[LP3 2017]
- Programming Languages Techniques (DAT151) | [LP2 2018]
- Mobile Business II (Lecture) | [SS 2017]
- Logics in Security (Advanced seminar) | [WS 2014]
- Security (Core lecture) | [WS 2012]
- Cryptography (Core lecture) | [SS 2012]
- Procedural programming (Basic lecture) | [WS 2009]
Misc
- Check out my popular science presentation explaining information flow control (IFC) in terms of a board game with zombies 🧟. It was part of an assignment on micro-teaching and the inspiration came from the original game, Zombicide.
Resources
- LaTeX resources
- In the future, you may want to consider writing your papers in Typst, a new markup-based typesetting system for the sciences.