Skip to main content

About

Papers32

Octavian Catrina

University Politehnica of Bucharest, The Faculty of Electronics, Telecommunications, and Information Technology, Faculty Member

Co-Authors

S. Budkowski

Computer Science, Computer Networks, Computer Engineering, Formal Methods (Formal Verification), and 2 more

(Communication Protocol and Formal Specification)

Berry Schoenmakers

IT Security, Traffic control, OPerations research and statistics, and Pure Mathematics

Octavian Catrina

Formal Specification, Formal Methods (Formal Verification), Communication Protocol, Secure Multiparty Computation, and Cryptography

Eugen Borcoci

Physics, Information Technology, Information Security, Java Programming, and Web Mining and Cloud Computing

by 30-day views

Related Authors

B. Harun Küçük

Christopher Witmore

Armando Marques-Guedes

Edward Crichton

Roshan Chitrakar

Vinod Viswanath