ib

Iulia Bastys  


Publications       Teaching       Service       Misc       Resources

About me


I am a computer scientist with expertise in information security. I am currently working as Technical Writer at Pi Squared. Previously, I worked as Android Developer at HaleyTek, contributing to infotainment system security and development.

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.

I started keeping track of my reading to make sure I always make time for it and to increase the number of books I read each year. You can see here my track record since the beginning of this process.

Contact: first-name [dot] last-name [at] proton [dot] me


Publications  orcid  dblp  gscholar


[Papers] [Posters] [Theses]

Papers

  1. 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)]
  2. 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]
  3. 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]
  4. Securing IoT Apps
    Musard Balliu, Iulia Bastys, and Andrei Sabelfeld
    In IEEE Security and Privacy Magazine (Special Issue on Internet of Things), 2019
    [Paper]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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


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



Misc



Resources