| Resource access control in systems of mobile agents M Hennessy, J Riely Information and Computation 173 (1), 82-120, 2002 | 285 | 2002 |
| A typed language for distributed mobile processes J Riely, M Hennessy Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 201 | 1998 |
| Resource access control in systems of mobile agents M Hennessy, J Riely Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998 | 197 | 1998 |
| Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 144 | 2009 |
| Trust and partial typing in open systems of mobile agents J Riely, M Hennessy Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 118 | 1999 |
| Specifications of a high-level conflict-free firewall policy language for multi-domain networks B Zhang, E Al-Shaer, R Jagadeesan, J Riely, C Pitcher Proceedings of the 12th ACM symposium on Access control models and …, 2007 | 113 | 2007 |
| Information flow vs. resource access in the asynchronous pi-calculus M Hennessy, J Riely Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000 | 109 | 2000 |
| Information flow vs. resource access in the asynchronous pi-calculus M Hennessy, J Riely ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (5), 566-591, 2002 | 96 | 2002 |
| A calculus of untyped aspect-oriented programs R Jagadeesan, A Jeffrey, J Riely ECOOP 2003–Object-Oriented Programming: 17th European Conference, Darmstadt …, 2003 | 86 | 2003 |
| On thin air reads towards an event structures model of relaxed memory A Jeffrey, J Riely Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 80 | 2016 |
| Distributed processes and location failures J Riely, M Hennessy International Colloquium on Automata, Languages, and Programming, 471-481, 1997 | 75 | 1997 |
| Distributed processes and location failures J Riely, M Hennessy Theoretical Computer Science 266 (1-2), 693-735, 2001 | 65 | 2001 |
| Testing-based abstractions for value-passing systems R Cleaveland, J Riely International Conference on Concurrency Theory, 417-432, 1994 | 61 | 1994 |
| Local memory via layout randomization R Jagadeesan, C Pitcher, J Rathke, J Riely 2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011 | 60 | 2011 |
| μABC: A Minimal Aspect Calculus G Bruns, R Jagadeesan, A Jeffrey, J Riely CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 58 | 2004 |
| Generative operational semantics for relaxed memory models R Jagadeesan, C Pitcher, J Riely Programming Languages and Systems: 19th European Symposium on Programming …, 2010 | 55 | 2010 |
| Type-safe execution of mobile agents in anonymous networks M Hennessy, J Riely Secure Internet Programming: Security Issues for Mobile and Distributed …, 1999 | 51 | 1999 |
| Typed parametric polymorphism for aspects R Jagadeesan, A Jeffrey, J Riely Science of Computer Programming 63 (3), 267-296, 2006 | 50 | 2006 |
| Pomsets with preconditions: a simple model of relaxed memory R Jagadeesan, A Jeffrey, J Riely Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 30 | 2020 |
| The code that never ran: Modeling attacks on speculative evaluation C Disselkoen, R Jagadeesan, A Jeffrey, J Riely 2019 IEEE Symposium on Security and Privacy (SP), 1238-1255, 2019 | 30 | 2019 |
Radha JagadeesanVerified email at cs.depaul.edu
