Kyndylan Nienhuis

I am a PhD student under the supervision of Peter Sewell, working on the verification of security properties of CHERI and on C/C++11 concurrency. My research is part of the REMS project and funded by a Gates scholarship.

Publications

• Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
  Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, and Peter Sewell
  In Security and Privacy 2020
• Mixed-size concurrency: ARM, POWER, C/C++11, and SC
  Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, and Peter Sewell
  In POPL 2017
• An operational semantics for C/C++11 concurrency (supplement)
  Kyndylan Nienhuis, Kayvan Memarian, and Peter Sewell
  In OOPSLA 2016
• Into the depths of C: elaborating the de facto standards
  Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell
  In PLDI 2016
• The problem of programming language concurrency semantics
  Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod and Peter Sewell
  In ESOP 2015