Kyndylan Nienhuis
According to our database1,
Kyndylan Nienhuis
authored at least 5 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
2015
Proceedings of the Programming Languages and Systems, 2015