Suivre
James Riely
James Riely
Professor of Computing, DePaul University
Adresse e-mail validée de cs.depaul.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Resource access control in systems of mobile agents
M Hennessy, J Riely
Information and Computation 173 (1), 82-120, 2002
3522002
A typed language for distributed mobile processes
J Riely, M Hennessy
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
1931998
Towards a theory of accountability and audit
R Jagadeesan, A Jeffrey, C Pitcher, J Riely
European Symposium on Research in Computer Security, 152-167, 2009
1392009
Resource access control in systems of mobile agents
M Hennessy, J Riely
Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998
1271998
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
1161999
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
1052007
Information flow vs. resource access in the asynchronous pi-calculus
M Hennessy, J Riely
International Colloquium on Automata, Languages, and Programming, 415-427, 2000
1032000
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
942002
A calculus of untyped aspect-oriented programs
R Jagadeesan, A Jeffrey, J Riely
European Conference on Object-Oriented Programming, 54-73, 2003
862003
Distributed processes and location failures
J Riely, M Hennessy
International Colloquium on Automata, Languages, and Programming, 471-481, 1997
751997
On thin air reads: Towards an event structures model of relaxed memory
J Riely, A Jeffrey
Logical Methods in Computer Science 15, 2019
702019
Distributed processes and location failures
J Riely, M Hennessy
Theoretical Computer Science 266 (1-2), 693-735, 2001
632001
Local memory via layout randomization
R Jagadeesan, C Pitcher, J Rathke, J Riely
2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011
592011
μABC: A Minimal Aspect Calculus
G Bruns, R Jagadeesan, A Jeffrey, J Riely
International Conference on Concurrency Theory, 209-224, 2004
592004
Testing-based abstractions for value-passing systems
R Cleaveland, J Riely
CONCUR'94: Concurrency Theory, 417-432, 1994
581994
Generative operational semantics for relaxed memory models
R Jagadeesan, C Pitcher, J Riely
European Symposium on Programming, 307-326, 2010
552010
Typed parametric polymorphism for aspects
R Jagadeesan, A Jeffrey, J Riely
Science of Computer Programming 63 (3), 267-296, 2006
512006
Type-safe execution of mobile agents in anonymous networks
M Hennessy, J Riely
Secure Internet Programming, 95-115, 1999
511999
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
262019
A Typed Calculus of Aspect Oriented Programs
R Jagadeesan, A Jeffrey, J Riely
Submitted for publication, 2004
242004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20