32 citations · 32 across the 2 of their papers we have counts for
3 papers
SoK: How Not to Architect Your Next-Generation TEE Malware?
Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin +2
Besides Intel's SGX technology, there are long-running discussions on how trusted computing technologies can be used to cloak malware. Past research showed example methods of malic…
Quantitative model-checking of controlled discrete-time Markov processes
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen +1
This paper focuses on optimizing probabilities of events of interest defined over general controlled discrete-time Markov processes. It is shown that the optimization over a wide c…
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen +1
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or…