Matteo Migliavacca

Matteo Migliavacca

University of Kent
在 kent.ac.uk 的電子郵件地址已通過驗證
被引用 3599 次
Distributed Systems Stream Processing Information Flow Control
Christian Hammer

Christian Hammer

Professor of Computer Science at University of Passau
在 uni-passau.de 的電子郵件地址已通過驗證
被引用 2622 次
Language-based Security Program Analysis Information Flow Control
Shigenari Nakamura

Shigenari Nakamura

Tokyo Denki University
被引用 1601 次
Distributed Systems Information Flow Control
Juergen Graf

Juergen Graf

Continental Corporation
在 continental.com 的電子郵件地址已通過驗證
被引用 540 次
Program Analysis Aspect Oriented Programming Information Flow Control Dependence Graphs Language-based Security
Guillaume Hiet

Guillaume Hiet

CentraleSupélec
在 centralesupelec.fr 的電子郵件地址已通過驗證
被引用 508 次
Computer security Intrusion detection Information Flow Control hardware/software security
Mariem Ben Ghorbel Talbi

Mariem Ben Ghorbel Talbi

CSB School
在 insa-lyon.fr 的電子郵件地址已通過驗證
被引用 344 次
Access Control Delegation OrBAC Intrusion Detection Information Flow Control
Daniel Schoepe

Daniel Schoepe

Amazon
在 schoepe.org 的電子郵件地址已通過驗證
被引用 318 次
Information Flow Control Functional Programming Symbolic Execution Static Analysis
Alexander Sjösten

Alexander Sjösten

TU Wien
在 tuwien.ac.at 的電子郵件地址已通過驗證
被引用 214 次
Web security Information-Flow Control
Abhishek Tiwari

Abhishek Tiwari

Assistant Professor, University of Southern Denmark
在 mmmi.sdu.dk 的電子郵件地址已通過驗證
被引用 171 次
program analysis Information Flow Control Android Security Program Repair
Amir M. Ahmadian

Amir M. Ahmadian

KTH Royal Institute of Technology
在 kth.se 的電子郵件地址已通過驗證
被引用 74 次
Language-Based Security Information Flow Control Formal Methods Software Security
1 - 10