Search
Now showing items 1-4 of 4
Quantifying Information Leaks Using Reliability Analysis
(ACM, 2014)
We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting ...
A Security Architecture for Distributed Groupware
(2013-11-27)
Protection of shared objects for cooperative work
(2013-12-04)