14 citations · 24 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
Farzane Karami, Olaf Owe, Gerardo Schneider
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…
cs.CR2020★ 6 cited
PDS: Deduce Elder Privacy from Smart Homes
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
With the development of IoT technologies in the past few years, a wide range of smart devices are deployed in a variety of environments aiming to improve the quality of human life…