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 software 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.

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