Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness


Home
References
Investigators
Publications
Objectives
Prototype

Related Publications

This page lists all of the related publications published during the Advanced Fellowship. Except those listed in Publication, they are not included into the count of publications for Advanced Fellow and its associated project.

    Refereed Papers in International Proceedings

  • Nobuko Yoshida, Pierre-Malo Deneilou, Andi Bejleri and Raymond Hu. Parameterised Multiparty Session Types. In Proceedings of FOSSACS 2010 (To appear).
  • Rosario Pugliese, Francesco Tiezzi and Nobuko Yoshida. On Observing Dynamic Prioritised Actions in SOC, Proceeding of ICALP 09, LNCS 5556, Springer, Pages 558-570, 2009.
  • Nobuko Yoshida, Vasco Vasconcelos, Herve Paulino and Kohei Honda. Session-Based Compilation Framework for Multicore Programming, FMCO 08, LNCS 5751, Springer, 2009. 226-246.
  • Dimitris Mostrous and Nobuko Yoshida. Session-Based Communication Optimisation for Higher-Order Mobile Processes, Proceeding of TLCA 2009, LNCS 5608, Springer, pp. 203-218, 2009.
  • Marco Carbone, Nobuko Yoshida and Kohei Honda. Asynchronous Session Types: Exceptions and Multiparty Interactions, Proceeding of SFM 2009, LNCS 5569, Springer, pp. 187-212, 2009.
  • Dimitris Mostrous, Nobuko Yoshida and Kohei Honda. Global Principal Typing in Partially Commutative Asynchronous Sessions, ESOP 2009, Springer, LNCS, 5502, Pages 316-332.
  • Andi Bejleri, Raymond Hu, and Nobuko Yoshida. Session-Based Programming for Parallel Algorithms, Proceeding of PLACES 09, To appear in EPTCS.
  • Kohei Honda, Vasco T. Vasconcelos, and Nobuko Yoshida. Type-Directed Compilation for Multicore Programming, Proceeding of PLACES 08, Electr. Notes Theor. Comput. Sci. Elsevier Science. Vol 241, Pages 101-111.
  • Rosario Pugliese, Francesco Tiezzi, and Nobuko Yoshida. Towards a Symbolic Semantics for Service-oriented Applications, Proceeding of PLACES 08, Electr. Notes Theor. Comput. Sci. Elsevier Science. Vol 241, Pages 135-164.
  • Andi Bejleri and Nobuko Yoshida. Synchronous Multiparty Session Types, Proceeding of PLACES 08, Electr. Notes Theor. Comput. Sci. Elsevier Science. Vol 241, Pages 3-33.
  • Kohei Honda and Nobuko Yoshida. A Unified Theory of Program Logics: an approach based on the π-calculus, Proceeding in the International Conference, Visions for Computer Science, BCS, 2008. Pages 259-274.
  • Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida. Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR 2008, pages 418-433, LNCS, 5201, Springer.
  • Marco Carbone and Kohei Honda and Nobuko Yoshida. Structured Interactional Exceptions in Session Types, CONCUR 2008, pages 402-417, LNCS, 5201, Springer.
  • Raymond Hu, Nobuko Yoshida and Kohei Honda. Session-Based Distributed Programming in Java, 22nd European Conference, (ECOOP 2008), LNCS 5142, 516-541, Springer.
  • Martin Berger, Kohei Honda and Nobuko Yoshida. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes, 35th International Colloquium (ICALP 2008), Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, LNCS 5126, 99-111, Springer.
  • Kohei Honda, Nobuko Yoshida and Marco Carbone. Multiparty Asynchronous Session Types, the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 08), 273-284.
  • Marco Carbone, Kohei Honda and Nobuko Yoshida. Theoretical Aspects of Communication-Centred Programming, Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, Electr. Notes Theor. Comput. Sci., volume 209, 2008, pages 125-133. Elsevier Science.
  • Martin Berger and Nobuko Yoshida. Timed, Distributed, Probabilistic, Typed Processes, APLAS 07, LNCS 4807, 158-174.
  • Mariangiola Dezani-Ciancaglini, Ugo de Liguoro and Nobuko Yoshida. On Progress for Structured Communications, Trustworthy Global Computing, Third Symposium, (TGC 2007), LNCS, Springer, 257-275, volume 4912, 2008.
  • Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino and Nobuko Yoshida. Bounded Session Types for Object-Oriented Languages, FMCO, 5th International Symposium on Formal Methods for Components and Objects, Springer-Verlag, LNCS, 207-245, Volume 4709, 2007.
  • Silvia Crafa, Daniele Varacca and Nobuko Yoshida. Compositional Event Structure Semantics for the Internal -Calculus, CONCUR 2007, Springer, LNCS 4703, 317- 332, 2007.
  • Nobuko Yoshida, Kohei Honda and Martin Berger. Logical Reasoning for Higher-Order Functions with Local State, FoSSaCS 07, Springer, LNCS 4423, 361-377, 2007.
  • Dimitris Mostrous and Nobuko Yoshida. Two Session Typing Systems for Higher-Order Mobile Processes, TLCA 2007, pages 321-335, Springer, Lecture Notes in Computer Science 4583, 2007.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida. Asynchronous Session Types and Progress for Object Oriented Languages, FMOODS 07, pages 1-31, LNCS 4468, 2007.
  • Nobuko Yoshida and Vasco Thudichum Vasconcelos. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, SecReT 2006, Electr. Notes Theor. Comput. Sci., Volume 171, Number 4, 2007, 73-93. Elsevier Science.
  • Kohei Honda, Martin Berger and Nobuko Yoshida. Descriptive and Relative Completeness of Logics for Higher-Order Functions, ICALP 06, LNCS 4052, 360-371, Springer, 2006.
  • Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou. Session Types for Object-Oriented Languages, ECOOP 06, LNCS 4067, 328-352, Springer, 2006.
  • Alexander Ahern and Nobuko Yoshida. Formalising Java RMI with Explicit Code Mobility, OOPSLA 05, pages 403-422, October 2005, ACM Press.
  • Martin Berger and Kohei Honda. A Logical Analysis of Aliasing in Imperative Higher-Order Functions, ICFP 05, pages 280-293, ACM Press.
  • Kohei Honda, Martin Berger and Nobuko Yoshida. An Observationally Complete Program Logic for Imperative Higher-Order Functions, LICS 2005, Proceedings, IEEE Computer Society, Pages 270-279, 2005.
  • Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern and Sophia Drossopoulou. A Distributed Object-Oriented Language with Session Types, Proceeding of Symposium on Trustworthy Global Computing, LNCS 3705, Springer, 299-318, 2005.

  • Refereed Journal Papers

  • Daniele Varacca and Nobuko Yoshida. Typed Event Structures and the Pi-Calculus, Journal of Theoretical Computer Scinece, To appear.
  • Kohei Honda and Nobuko Yoshida. A Unified Theory of Program Logics: an approach based on the π-calculus. The Computer Journal, The Oxford Journal, 2009.
  • Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Sophia Drossopoulou and Nobuko Yoshida. Objects and session types, Inf. Comput., Volume 207, Number 5, 2009, 595-641.
  • Nobuko Yoshida, Kohei Honda and Martin Berger. Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science. Volume 4, No 2, 2008.
  • Martin Berger, Kohei Honda and Nobuko Yoshida. A Logical Analysis of Aliasing in Imperative Higher-Order Functions, Journal of Functional Programming. No 4 and 5, Volume 17, 273- 546, 2007, CUP.
  • Alexander Ahern and Nobuko Yoshida. Formalising Java RMI with Explicit Code Mobility, Journal of Theoretical Computer Scinece, Springer, Volume 389, Number 3, pages 341-410, 2007.
  • Kohei Honda, Martin Berger and Nobuko Yoshida. Linearity and Bisimulation, the Journal of Logic and Algebraic Programming, Volume 72, Number 2, 2007, 207-238.
  • Martin Berger, Kohei Honda and Nobuko Yoshida. Genericity and the π-Calculus, Journal of Acta Informatica, Springer. Volume 42, Number 2-3, 2005, 83-141.
  • Matthew Hennessy, Julian Rathke and Nobuko Yoshida. SafeDpi: A Language for Controlling Mobile Code, Journal of Acta Informatica, Springer. Volume 42, Number 4-5, 2005, 227-290.
  • Kohei Honda and Nobuko Yoshida. Noninterference through Flow Analysis, Journal of Functional Programming, CPU, March, 2005, Volume 15, Number 2, 2005, Pages 293-349.
  • Martin Berger, Kohei Honda and Nobuko Yoshida. Strong Normalisation in the Pi-Calculus, September, 2003. Journal of Information and Computation, 191 (2004) 145-202, Elsevier Science, 2004.

  • Other Refereed Technical Publications in Proceedings

    Lasse Nielsen, Nobuko Yoshida, Kohei Honda. Multiparty Symmetric Sumtypes, Imperial College London DoC Technical Report 2009/8.
  • Raymond Hu, Nobuko Yoshida and Kohei Honda. Language and Runtime Implementation of Sessions for Java, In Proceedings of ICOOOLPS 2007.
  • Martin Berger and Nobuko Yoshida. Distributed Liveness and Timers for Mobile Processes, Pre-Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007) , 2007.

  • Refereed Newsletters and Columns in Journals

  • Nobuko Yoshida. A Letter from England, Column, Japan Society for Software Science and Technology, Journal of Computer Software, 2007.
  • Nobuko Yoshida. Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness, Essay for Process Calculi: The First Twenty Five Years and Beyond, Electronic Notes in Theoretical Computer Science, Elsevier Science, 2006.

  • Related Publications

  • Marco Carbone, Kohei Honda and Nobuko Yoshida. Structured Communication-Centred Programming for Web Services, ESOP 07, pages 2-17, Springer, LNCS 4421, 2007.
  • Daniele Varacca and Nobuko Yoshida. Probabilistic pi-Calculus and Event Structures, Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007) , Electr. Notes Theor. Comput. Sci., Volume 190, Number 3, 2007, 147-166.
  • Marco Carbone, Kohei Honda and Nobuko Yoshida. A Calculus of Global Interaction Based on Session Types, DCM 06, Electronic Notes in Theoretical Computer Science, Volume 171, Number 3, 2007, 127-151, Elsevier Science.
  • Daniele Varacca and Nobuko Yoshida. Typed Event Structures and the Pi-Calculus, MFPS 2006, Electronic Notes in Theoretical Computer Science, Vol 153, 373-398, Elsevier Science.
  • Kohei Honda and Nobuko Yoshida. A uniform type structure for secure information flow, ACM Trans. Program. Lang. Syst., Volume 29, Number 6, 2007, 100 pages, ACM.
  • Nobuko Yoshida, Web Services, Mobile Processes and Types, European Association for Theoretical Computer Science (EATCS) Bulletin, Number 91, February 2007, 160Ð185, 2007.