[Hol-info] CFP: Programming Languages and Analysis for Security (PLAS 2015)

Minnesota Matteo Maffei, CISPA, Saarland University John C. Mitchell, Stanford University Toby Murray, NICTA and UNSW Benjamin C. Pierce, University of Pennsylvania Frank Piessens, KU Leuven Marco Pistoia, IBM Research Tamara Rezk, INRIA Tachio Terauchi, JAIST To reach the PC chairs, send email to p

[Hol-info] SSV 2015 - Call for Papers

Gnesi, ISTI Chris Hawblitzel, Microsoft Research Jérome Hugues, ISAE Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr, University of Utah David Sanán, NTU (Co-Chair) Konrad Slind, Rockwell Collins Jun Sun, SUTD Alwen Tiu, NTU Mark van

[Hol-info] SSV 2015 - 2nd Call for Papers

Stefania Gnesi, ISTI Chris Hawblitzel, Microsoft Research Jérome Hugues, ISAE Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr, University of Utah David Sanán, NTU (Co-Chair) Konrad Slind, Rockwell Collins Jun Sun, SUTD Alwen Tiu, NTU Mark

[Hol-info] SSV 2015 - Deadline Extended

Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr, University of Utah David Sanán, NTU (Co-Chair) Konrad Slind, Rockwell Collins Jun Sun, SUTD Alwen Tiu, NTU Mark van den Brand, Eindhoven University of Technology Steering Committee Ralf

[Hol-info] Research Position in Verified Confidentiality for Weak Memory Concurrency

concurrent programs executing on weak memory consistency models. The methods will be applied to verify the security of seL4-based critical embedded devices. The position is for two years in the first instance, based at the University of Melbourne under Dr Toby Murray (https://people.eng.unimelb.edu.au

[Hol-info] FTfJP 2019: Second Call for Papers

(Co-Chair; LMU Munich) * Marie Farrell (University of Liverpool) * Carlo A. Furia (USI – Università della Svizzera Italiana) * Marie-Christine Jakobs (TU Darmstadt) * Wojciech Mostowski (Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New

[Hol-info] DEADLINE EXTENDED: FTfJP 2019 - 28 April

Darmstadt) * Wojciech Mostowski (Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales and Data61) * Martin Schäf (Amazon Web Services) - Toby Murray, DPhil (University of Oxford) Senior Lecturer, School of Computing and

[Hol-info] FTfJP 2019: CFP for Second Round

University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales and Data61) * Martin Schäf (Amazon Web Services) - Toby Murray, DPhil (University of Oxford) Senior Lecturer, School of Computing and Information Systems University of Melbourne

[Hol-info] Research Fellow in Verified Operating System Security

investigate how to extend seL4’s existing proofs of information flow security, which primarily cover storage channels, to also encompass timing channels. Further details about the research project are summarised in the following position paper: Gernot Heiser, Gerwin Klein and Toby Murray. "Can We Prove

[Hol-info] Postdoc position: verified timing-channel security for seL4

about the research project are summarised in the following position paper: Gernot Heiser, Gerwin Klein and Toby Murray. "Can We Prove Time Protection?" in Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS), pages 23-29, May 2019. https://arxiv.org/abs/1901.08338 The posit

[Hol-info] Call for Papers: HotSpot 2021

te: http://hotspot.compute.dtu.dk PC == Catherine Meadows Catuscia Palamidessi Jan Juerjens Jean-Jacques Quisquater Joshua Guttman Lucca Hirschi Mark D. Ryan Peter Y. A. Ryan Pierpaolo Degano Sebastian Mödersheim (co-chair) Steve Schneider Toby Murray (chair) Important Dates === Worksho

[Hol-info] Call for Participation: HotSpot 2021

are ample opportunities for interaction, questions, and discussion. We'd love to have you join in for the day! Toby Murray and Sebastian Mödersheim HotSpot 2021 -- Toby Murray, DPhil (Oxon) Associate Professor, School of Computing and Information Systems The University of Melbourne, Vi