1
Publications
22
Citations
1
H-Index
2005
Active since
Cătălin V. Bîrjoveanu is an author specializing in engineering, information security, and formal verification.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceSecurity ProtocolsFormal VerificationInformation Security
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1