What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Computer security
His primary areas of investigation include Computer security, Semantics, Theoretical computer science, Cryptographic protocol and Attack tree.
His Computer security research is multidisciplinary, incorporating elements of Semantics and Formal methods.
The concepts of his Semantics study are interwoven with issues in Process calculus, Alternating bit protocol, Relation, Specification and Description Language and Control flow.
His work deals with themes such as Sublanguage, Formal semantics and Operational semantics, Denotational semantics, which intersect with Theoretical computer science.
He has researched Cryptographic protocol in several fields, including Computer security model, Authentication and Component.
His work carried out in the field of Attack tree brings together such families of science as Discrete mathematics, Intrusion detection system and Attribute domain.
His most cited work include:
- Foundations of attack trees (369 citations)
- Message Sequence Chart (MSC) (277 citations)
- Foundations of attack-defense trees (155 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Computer security, Theoretical computer science, Programming language, Cryptographic protocol and Semantics.
His Computer security research includes elements of Protocol, Internet privacy and Social graph.
His Protocol research is under the purview of Computer network.
His Theoretical computer science research integrates issues from Structure and Attack tree.
His work in Formal semantics, Operational semantics, Process calculus, Specification language and Algebraic specification are all subfields of Programming language research.
His research integrates issues of Formal methods and Formal verification in his study of Cryptographic protocol.
He most often published in these fields:
- Computer security (28.57%)
- Theoretical computer science (18.37%)
- Programming language (13.06%)
What were the highlights of his more recent work (between 2012-2021)?
- Computer security (28.57%)
- Theoretical computer science (18.37%)
- Graph (2.86%)
In recent papers he was focusing on the following fields of study:
His scientific interests lie mostly in Computer security, Theoretical computer science, Graph, Semantics and Computer security model.
Sjouke Mauw works on Computer security which deals in particular with Cryptographic protocol.
His Theoretical computer science study combines topics in areas such as Structure and Set.
His studies deal with areas such as Adjacency list and Anonymity as well as Graph.
He has included themes like Tree, Complete information, Node and Linear logic in his Semantics study.
His Computer security model research is multidisciplinary, relying on both Software, Order, Risk management and Subject.
Between 2012 and 2021, his most popular works were:
- Attack-Defense Trees (106 citations)
- ADTool: security analysis with attack---defense trees (56 citations)
- Attack Trees with Sequential Conjunction (54 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Computer security
Sjouke Mauw focuses on Computer security, Theoretical computer science, Attack tree, Discrete mathematics and Graph.
The study incorporates disciplines such as Robustness, Social graph and Internet privacy in addition to Computer security.
His biological study spans a wide range of topics, including Timestamp, System model and Security analyst.
Sjouke Mauw interconnects Process, Attribute domain, Domain class, Open source software and Operations research in the investigation of issues within Attack tree.
His biological study spans a wide range of topics, including Adjacency list and Anonymity.
His work in Cryptographic protocol covers topics such as Bounding overwatch which are related to areas like Formal verification.
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.
