Raimil Cruz

According to our database, Raimil Cruz authored at least 4 papers between 2017 and 2019.

Collaborative distances:

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

2019

Polymorphic Relaxed Noninterference.

Raimil Cruz, Éric Tanter

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Existential Types for Relaxed Noninterference.

Raimil Cruz, Éric Tanter

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2017

Type Abstraction for Relaxed Noninterference (Artifact).

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Dagstuhl Artifacts Ser., 2017

Type Abstraction for Relaxed Noninterference.

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017