Towards Semantics-Preserving Secure Language Infrastructure

Home
EPSRC-Reference
Collaborators
Objectives
Prototype

Publications

Choreography Description Language, W3-CDL, Web Services Choreography Working Group.
Conversation with Steve Ross-Talbot, ACM Queue, 2006, Volume 4, Number 2, March.
Alexander Ahern and Nobuko Yoshida, Formalising Java RMI with Explicit Code Mobility, Proc. OOPSLA'05, the 20th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Pages 403--422, October 2005, ACM Press. A full version will apper in Journal of Theoretical Computer Science.
Berger, M., Basic Theory of Reduction Congruence for Two Timed Asynchronous Pi-Calculi, CONCUR'04, LNCS 3170, 115-130, 2004, Springer.
Berger, M., Honda, K. and Yoshida, N., A Logical Analysis of Aliasing in Imperative Higher-Order Functions, To appear in Journal of Functional Programming, ICFP'05, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, September 26-28, 2005, pages 280--293, ACM Press.
Berger, M., Honda, K. and Yoshida, N., Genericity and the Pi-Calculus, Journal of Acta Informatica, 42(2-3): 83-141 (2005), Springer. An extended abstract appeared in Proc. FoSSaCs'03, the 6th International Conference, Foundations of Software Science and Computation Structures, LNCS, Springer-Verlag, April, 2003.
Marco Carbone, Kohei Honda and Nobuko Yoshida, Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, the 16th European Symposium on Programming, LNCS 4421, 2--17, Springer, 2007.
Marco Carbone, Kohei Honda and Nobuko Yoshida, A Calculus of Global Interaction Based on Session Types DCM: 2nd International Workshop on New Developments in Computational Models, 2006. Electronic Notes in Theoretical Computer Science, Elsevier Science.
Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown and Steve Ross-Talbot, A Theoretical Basis of Communication-Centred Concurrent Programmin, To be published by the W3C. 2006.
Mario Coppo, Mariangiola Dezani-Ciancaglini, and Nobuko Yoshdia, Asynchronous Session Types and Progress for Object-Oriented Languages, FMOOSE'07, 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4468, 1--31, Springer, 2007.
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern and Sophia Drossopoulou, A Distributed Object-Oriented Language with Session Types, Proc. TGC 2005, Proceeding of Symposium on Trustworthy Global Computing, Lecture Notes in Computer Science 3705, Pages 299-318, Springer, 2005.
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshdia and Sophia Drossopoulou, Session Types for Object-Oriented Languages, ECOOP'06, The 20th European Conference on Object-Oriented Programming, 328--352, LNCS 4067, Springer, 2006.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino and Nobuko Yoshida, Bounded Session Types for Object-Oriented Languages, FMCO'06, To appear in LNCS, 2007.
Kohei Honda, Martin Berger and Nobuko Yoshida, Descriptive and Relative Completeness of Logics for Higher-Order Functions, ICALP'06, Automata, Languages and Programming, 33rd International Colloquium, Springer, LNCS 4052, 2006, 360-371.
Kohei Honda, Nobuko Yoshida and Martin Berger, Controls in the Pi-Calculus, Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW'04), 2004. A full version is submitted for journal publication.
Kohei Honda, Nobuko Yoshida and Martin Berger, An Observationally Complete Program Logic for Imperative Higher-Order Functions, LICS 2005, 20th IEEE Symposium on Logic in Computer Science, 26-29 June 2005, Chicago, IL, USA, Proceedings, IEEE Computer Society, Pages 270--279, 2005.
Kohei Honda, Nobuko Yoshida and Marco Carbone, Web Services, Mobile Processes and Types, EATCS Bulletin, The Bulletin of the European Association for Theoretical Computer Science, Number 91, 165--185, February 2007.
Matthew Hennessy, Julian Rathke and Nobuko Yoshida, SafeDpi: A Language for Controlling Mobile Code, Journal of Acta Informatica, 42(2-3):(2005), 227-290, Springer. An extended abstract appeared in Proc. of 7th International Conference, Foundations of Software Science and Computer Structures (FoSSaCs 2004), Lecture Notes in Computer Science 2987, April 2004 (Barcelona, Spain), Springer-Verlag. Pages 241-256, 2004.
Kohei Honda, Process Algebras in the Age of Ubiquitous Computing, Electr. Notes Theor. Comput. Sci., Volume 162, 2006, 217--220.
Kohei Honda, From process logic to program logic, ACM ICFP'04, 2004, 163--174.
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, To appear in Journal of ACM TOPLAS (101 pages).
Kohei Honda and Nobuko Yoshida, A Compositional Program Logic for Polymorphic Higher-Order Functions, Proc. PPDP'2004, 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM Press, 2004. Pages 191-202.
Kohei Honda and Nobuko Yoshida, Noninterference through Flow Analysis, Journal of Functional Programming, CPU, March, 2005, Volume 15, Number 2, 2005, Pages 293--349.
Mostrous, D. and Yoshida, N., Two Session Typing Systems for Higher-Order Mobile Processes, To appear in Proc. of TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications, LNCS, Springer-Verlag, 2007.
Daniele Varacca, Silvia Crafa and Nobuko Yoshida, Compositional Event Structures for the Internal Pi-Calculus, To appear in CONCUR'07, LNCS, 2007.
Daniele Varacca and Nobuko Yoshida, Typed Event Structures and the Pi-Calculus, Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Electr. Notes Theor. Comput. Sci., Vol 158, 2006, 373--397.
Yoshida, N., Channel Dependency Types for Higher-Order Mobile Processes, POPL '04, Conference Record of the 31st Annual Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN, ACM Press, 2004. A full version is available from www.doc.ic.ac.uk/~yoshida.
Yoshida, N., Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness, Electr. Notes Theor. Comput. Sci., Volume 162, 2006, 333--340.
Yoshida, N., Berger, M. and Honda, K., Strong Normalisation in the Pi-Calculus, Journal of Information and Computation, 191 (2004) 145--202, Elsevier Science, 2004.
Yoshida, N., Honda, K. and Berger, M., Linearity and Bisimulation, To appear in Journal of Logic and Algebraic Programming, 2007.
Yoshida, N., Honda, K. and Berger, M., Local Reasoning for Higher-Order Functions with Local State, Proc. of FoSSaCs'07, Tenth International Conference on Foundations of Software Science and Computation Structures, LNCS Springer, 2007.
Nobuko Yoshdia and Vasco Vasconcelos, Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited -- Two Systems for Higher-Order Session Communication, International Workshop on Security and Rewriting Techniques (SecReT 2006), 2006. Electronic Notes in Theoretical Computer Science, Elsevier Science.