V. Panini

According to our database, V. Panini authored at least 1 paper in 1995.

Collaborative distances:

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

1995

The security checker: a semantics-based tool for the verification of security properties.

Riccardo Focardi, Roberto Gorrieri, V. Panini

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995