research
∙
03/10/2021
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language
Compile-time information flow analysis has been a promising technique fo...
share
research
∙
03/03/2021
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Realizing flow security in a concurrent environment is extremely challen...
research
∙
06/20/2018
Crowdsensing and privacy in smart city applications
Smartness in smart cities is achieved by sensing phenomena of interest a...
research
∙
06/20/2018