What is he best known for?
The fields of study he is best known for:
- Programming language
- Computer security
- Operating system
His primary scientific interests are in Computer security, Cryptographic protocol, Computer security model, Protocol and Protocol.
His work on Cryptography as part of general Computer security research is often related to Relation, thus linking different fields of science.
The various areas that Cas Cremers examines in his Cryptography study include Bounding overwatch and Resilience.
He interconnects Correctness, Theoretical computer science and Authentication in the investigation of issues within Cryptographic protocol.
His Computer security model research incorporates elements of Authenticated Key Exchange, Key exchange, Public-key cryptography and Security service.
His Protocol research incorporates elements of Set and State.
His most cited work include:
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (329 citations)
- The TAMARIN prover for the symbolic analysis of security protocols (240 citations)
- Scyther : semantics and verification of security protocols (183 citations)
What are the main themes of his work throughout his whole career to date?
Cas Cremers mainly focuses on Computer security, Cryptographic protocol, Computer security model, Theoretical computer science and Cryptography.
As part of one scientific family, Cas Cremers deals mainly with the area of Computer security, narrowing it down to issues related to the Protocol, and often State.
His studies in Cryptographic protocol integrate themes in fields like Correctness, Isolation, Adversary model, Authentication and Formal verification.
The Computer security model study combines topics in areas such as Authenticated Key Exchange, Security service, Certificate authority and Scope.
His Theoretical computer science research includes themes of Property, Mathematical proof, Operational semantics and Set.
His Cryptography research is multidisciplinary, incorporating elements of Security analysis, Secrecy and Coding theory.
He most often published in these fields:
- Computer security (59.32%)
- Cryptographic protocol (45.76%)
- Computer security model (22.88%)
What were the highlights of his more recent work (between 2018-2021)?
- Computer security (59.32%)
- Cryptographic protocol (45.76%)
- Cryptography (21.19%)
In recent papers he was focusing on the following fields of study:
Cas Cremers focuses on Computer security, Cryptographic protocol, Cryptography, Protocol and Key exchange.
His work on Data Protection Act 1998 is typically connected to Compromise as part of general Computer security study, connecting several disciplines of science.
His work deals with themes such as Formal verification, Server and Hardware security module, which intersect with Cryptographic protocol.
His Cryptography course of study focuses on Security analysis and Computer security model, Authenticated Key Exchange, Encryption, Secrecy and Session.
His Protocol research spans across into subjects like Symbolic data analysis, Protocol analysis, Diffie–Hellman key exchange, Gas meter prover and Theoretical computer science.
While the research belongs to areas of Symbolic data analysis, he spends his time largely on the problem of Public-key cryptography, intersecting his research to questions surrounding Digital signature and Signature.
Between 2018 and 2021, his most popular works were:
- Decentralized Privacy-Preserving Proximity Tracing (80 citations)
- Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion (20 citations)
- Decentralized Privacy-Preserving Proximity Tracing (18 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Computer security
His primary areas of investigation include Computer security, Data Protection Act 1998, Upload, Tracing and Protocol.
His study in Computer security concentrates on Cryptographic protocol and Public-key cryptography.
He has researched Cryptographic protocol in several fields, including Signature, Symbolic data analysis and Digital signature.
His Data Protection Act 1998 research incorporates themes from Process, Identity and Privacy preserving.
He combines subjects such as Identifier, Interoperability and Beacon with his study of Upload.
He has included themes like Security analysis, Isolation, Gas meter prover and Authentication in his Protocol study.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
