A Knowledge-Based Verification Method for Dynamic Access Control Policies. - Masoud Koleini; Mark Ryan 001 (ICFEM, 2011)

Opacity Analysis in Trust Management Systems. - Moritz Y. Becker; Masoud Koleini (ISC, 2011)

Verification of temporal-epistemic properties of access control systems. - Masoud Koleini (2012)

Model Checking Agent Knowledge in Dynamic Access Control Policies. - Masoud Koleini; Eike Ritter; Mark Ryan 001 (TACAS, 2013)

A Temporal Logic of Security. - Masoud Koleini; Michael R. Clarkson; Kristopher K. Micinski (CoRR, 2013)

Temporal Logics for Hyperproperties. - Michael R. Clarkson; Bernd Finkbeiner; Masoud Koleini; Kristopher K. Micinski; Markus N. Rabe; César Sánchez 001 (POST, 2014)

Verification of agent knowledge in dynamic access control policies. - Masoud Koleini; Eike Ritter; Mark Ryan 001 (CoRR, 2014)

FLICK: Developing and Running Application-Specific Network Services. - Abdul Alim; Richard G. Clegg; Luo Mai; Lukas Rupprecht; Eric Seckler; Paolo Costa; Peter R. Pietzuch; Alexander L. Wolf; Nik Sultana; Jon Crowcroft; Anil Madhavapeddy; Andrew W. Moore 002; et al. (USENIX ATC, 2016)

Fractal: Automated Application Scaling. - Masoud Koleini; Carlos Oviedo; Derek McAuley; Charalampos Rotsos; Anil Madhavapeddy; Thomas Gazagnaire; Magnus Skejgstad; Richard Mortier (CoRR, 2019)