Inna Vistbakka

17 papers A 1B 2C 5Misc 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Modelling resilient collaborative multi-agent systems.
Computing
Inna Vistbakka, Elena Troubitsyna
2020 B conf
Analysing Privacy-Preserving Constraints in Microservices Architecture.
COMPSAC
Inna Vistbakka, Elena Troubitsyna
2020 C conf
Formalising Privacy-Preserving Constraints in Microservices Architecture.
ICFEM
Inna Vistbakka, Elena Troubitsyna
2020 C conf
Modelling and Verification of Safety of Access Control in SCADA Systems.
CRiSIS
Inna Vistbakka, Elena Troubitsyna
2020 Misc conf
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.
PAAMS
Inna Vistbakka, Elena Troubitsyna
2019 — conf
Modelling Autonomous Resilient Multi-robotic Systems.
SERENE
Inna Vistbakka, Elena Troubitsyna
2019 — conf
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective.
HASE
Inna Vistbakka, Elena Troubitsyna, Amin Majd
2019 — conf
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems.
IMBSA
Inna Vistbakka, Elena Troubitsyna
2018 C conf
Deriving Mode Logic for Autonomous Resilient Systems.
ICFEM
Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018 B conf
Deriving and Formalising Safety and Security Requirements for Control Systems.
SAFECOMP
Elena Troubitsyna, Inna Vistbakka
2018 A conf
Formal Verification of Stateful Services with REST APIs Using Event-B.
ICWS
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
2018 C conf
Modelling and Verification of Dynamic Role-Based Access Control.
VECoS
Inna Vistbakka, Elena Troubitsyna
2018 — conf
Multi-layered Approach to Safe Navigation of Swarms of Drones.
SAFECOMP Workshops
Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018 C conf
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.
ABZ
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
2018 Misc conf
Towards a Formal Approach to Analysing Security of Safety-Critical Systems.
EDCC
Inna Vistbakka, Elena Troubitsyna
2017 — conf
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.
SERENE
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
2017 — conf
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B.
IMPEX/FM&MDD
Inna Vistbakka, Elena Troubitsyna
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling