-
Juergen Rilling
software engineering, internet of things (IoT), software quality and best practices
-
Lingyu Wang
network security, privacy, security metrics
-
Amr Youssef
cryptography, cyberphysical systems, cryptographic algorithms
-
Jamal Bentahar
software agents, multi-agent systems, formal logic
-
Jinqiu Yang
automatic software repair, artificial intelligence (AI), software testing
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
top associated keywords A-Z
- artificial intelligence (AI)53
- botnet defence4
- cloud computing17
- cyberforensics5
- cyberphysical systems12
- information systems security12
- network security12
- software engineering26
- cryptographic protocols6
- cybersecurity16
- data security7
- detection of vulnerabilities3
- empirical software engineering10
- internet of things (IoT)17
- malware analysis3
- mining software repositories7
- networks27
- programming languages6
- semantic web6
- smart grids11
- software quality and best practices11
- aerospace69
- ambient software engineering2
- attack graphs1
- automated reasoning3
- automatic model checking1
- automatic software repair1
- big data30
- Boolean functions1
- complex software systems9
- cryptographic algorithms1
- cryptography5
- data hiding/embedding1
- data mining21
- debugging4
- email security2
- embedded systems8
- FH-CDMA sequence design1
- formal logic2
- formal methods6
- functional verification5
- game theory16
- information technologies25
- intrusion detection1
- knowledge modeling1
- machine learning58
- middleware3
- model-driven software engineering7
- multi-agent systems5
- natural language processing (NLP)15
- nonclassical logics1