Abdelkrim Nimour

According to our database, Abdelkrim Nimour authored at least 4 papers between 1999 and 2013.

Collaborative distances:

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

2013

Optimal Public Key Traitor Tracing Scheme in Non-Black Box Model.

Philippe Guillot, Abdelkrim Nimour, Duong Hieu Phan, Viet Cuong Trinh

Proceedings of the Progress in Cryptology, 2013

1999

Guaranteeing liveness in an object calculus through behavioural typing.

Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Infinite types for distributed object interfaces.

Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Explicit Behavioral Typing for Object Interfaces.

Elie Najm, Abdelkrim Nimour

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999