Research Output

Filter
Other chapter contribution

Model checking information flow

Whalen, M. W., Greve, D. A. & Wagner, L. G., 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, p. 381-428 48 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

12 Scopus citations

Random surfing without teleportation

Nikolakopoulos, A. N. & Garofalakis, J. D., 2015, Algorithms, Probability, Networks, and Games. Springer International Publishing AG, p. 344-357 14 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

3 Scopus citations