Masoud Koleini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | USENIX | 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 |
| 2013 | TACAS | Model Checking Agent Knowledge in Dynamic Access Control Policies. | Masoud Koleini, Eike Ritter, Mark Ryan |
| 2011 | ICFEM | A Knowledge-Based Verification Method for Dynamic Access Control Policies. | Masoud Koleini, Mark Ryan |