Masoud Koleini

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Access Control Policies

Top Venues

USENIX Annual Technical Conference

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier
Fractal: Automated Application Scaling. CoRR (2019)
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, Richard Mortier, Masoud Koleini, Luis Oviedo, Matteo Migliavacca, Derek McAuley
FLICK: Developing and Running Application-Specific Network Services. USENIX Annual Technical Conference (2016)
Masoud Koleini, Eike Ritter, Mark Ryan
Verification of agent knowledge in dynamic access control policies. CoRR (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. CoRR (2014)
Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
A Temporal Logic of Security. CoRR (2013)
Masoud Koleini, Eike Ritter, Mark Ryan
Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS (2013)
Moritz Y. Becker, Masoud Koleini
Opacity Analysis in Trust Management Systems. ISC (2011)
Masoud Koleini, Mark Ryan
A Knowledge-Based Verification Method for Dynamic Access Control Policies. ICFEM (2011)