Gilles Barthe

Subjects

Computer science, Software engineering, Computer Communication Networks, Computer networks, Logic design, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer networks, security measures, Computer security, Data Encryption, Data encryption (Computer science), Data protection, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Systems and Data Security, Computer programming, Computers and Society, Congresses, Cryptography, data processing, Cryptology and Information Theory Data Structures, Data structures (Computer science), Distributed processing, Electronic data processing, Electronic data processing, distributed processing