Nika Pona

According to our database, Nika Pona authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Research Report: Formally-Verified ASN.1 Protocol C-language Stack.

Nika Pona, Vadim Zaliva

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2018

When logic lays down the law.

Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten

CoRR, 2018