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

Home
References
Investigators
Related Publications
Objectives
Prototype

Publications
    Editorial Work

  • Philippa Gardner and Nobuko Yoshida: Editorial. Theor. Comput. Sci. 358(2-3) 149 (2006)

  • Vasco Thudichum Vasconcelos and Nobuko Yoshida: Proceeding of PLACE'08. Electr. Notes Theor. Comput. Sci. 241: 1-2 (2009)

    Refereed Papers in International Proceedings

  • 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.

  • Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF 2009: 124-140

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • Raymond Hu, Nobuko Yoshida and Kohei Honda. Language and Runtime Implementation of Sessions for Java, In Proceedings of ICOOOLPS 2007.


    • Refereed Journal Papers

  • 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.

  • Martin Berger, Kohei Honda and Nobuko Yoshida. Genericity and the Pi-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.

  • 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.

    • Other Refereed Technical Publications in Proceedings

  • Lasse Nielsen, Nobuko Yoshida, Kohei Honda. Multiparty Symmetric Sumtypes, Imperial College London DoC Technical Report 2009/8.

  • R. Pugliese, F. Tiezzi, and N. Yoshida. On observing dynamic prioritised actions in SOC. Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/bis4cows-full.pdf

  • Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot, A Theoretical Basis of Communication-Centred Concurrent Programming