Masoud Koleini

According to our database, Masoud Koleini authored at least 9 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Fractal: Automated Application Scaling.

Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier

CoRR, 2019

2016

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, Richard Mortier, Masoud Koleini, Luis Oviedo, Matteo Migliavacca, Derek McAuley

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

2014

Verification of agent knowledge in dynamic access control policies.

Masoud Koleini, Eike Ritter, Mark Ryan

CoRR, 2014

Temporal Logics for Hyperproperties.

Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

A Temporal Logic of Security.

Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski

CoRR, 2013

Model Checking Agent Knowledge in Dynamic Access Control Policies.

Masoud Koleini, Eike Ritter, Mark Ryan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Verification of temporal-epistemic properties of access control systems.

Masoud Koleini

PhD thesis, 2012

2011

Opacity Analysis in Trust Management Systems.

Moritz Y. Becker, Masoud Koleini

Proceedings of the Information Security, 14th International Conference, 2011

A Knowledge-Based Verification Method for Dynamic Access Control Policies.

Masoud Koleini, Mark Ryan

Proceedings of the Formal Methods and Software Engineering, 2011