Kamel Bentahar is an author at University of Bristol specializing in formal verification, data security, and computer science.
Top concepts
EngineeringCryptographyData SecurityComputer ScienceFormal VerificationData PrivacyFormal MethodsHardware SecurityInformation SecurityLightweight Cryptography
Publications per year
2005–2007
2
2
Rows per page
1–2 of 2