Iulia Bastys

PhD student in Computer Science
Department of Computer Science and Engineering
Chalmers University of Technology

Email: bastys [at] chalmers [dot] se

Address: EDIT 6449
Rännvägen 6B
41296 Gothenburg, Sweden

I am a PhD student in the Information Security division at Chalmers, where I started in October 2017. My supervisor is Andrei Sabelfeld.

My research mainly focuses on enforcing system security via information-flow control (IFC), a type of program analysis technique for ensuring that sensitive data does not flow to undesired sinks (through the use of e.g., type systems or runtime monitors).

News       Publications       Teaching       Service       Misc


Publications  orcid  dblp  gscholar

[Papers] [Posters] [Theses]


  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]
  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
  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
  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]




Program committee member

PriSC 2022.


ACM Computing Survey 2021.

External reviewer

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.