Follow
Nguyen Thanh Binh
Nguyen Thanh Binh
researcher of computer science, JKU
Verified email at ins.jku.at
Title
Cited by
Cited by
Year
Lockedge: Low-complexity cyberattack detection in iot edge computing
TT Huong, TP Bac, DM Long, BD Thang, NT Binh, TD Luong, TK Phuc
IEEE Access 9, 29696-29710, 2021
752021
Abstractions for security protocol verification
BT Nguyen, C Sprenger, C Cremers
Journal of Computer Security 26 (4), 459-508, 2018
52018
Sound security protocol transformations
BT Nguyen, C Sprenger
International Conference on Principles of Security and Trust, 83-104, 2013
52013
Unification in the Description Logic without the Top Concept
F Baader, NT Binh, S Borgwardt, B Morawska
International Conference on Automated Deduction, 70-84, 2011
42011
Deciding Unifiability and Computing Local Unifiers in the Description Logic without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
32016
Computing local unifiers in the description logic EL without the top concept
F Baader, NT Binh, S Borgwardt, B Morawska
Proc. of the 25th Int. Workshop on Unification (UNIF’11), 2-8, 2011
12011
LocKedge: Low-Complexity Cyberattack Detection in IoT Edge Computing
T Thu Huong, T Phuong Bac, DM Long, BD Thang, NT Binh, TD Luong, ...
arXiv e-prints, arXiv: 2011.14194, 2020
2020
Deciding Unifiability and Computing Local Unifiers in the Description Logic without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
2016
Journal Articles and Book Chapters
F Baader, NT Binh, S Borgwardt, BM Deciding
Journal of Web Semantics 33, 50-70, 2015
2015
Attack-preserving Security Protocol Transformations
BT Nguyen, D Basin, C Sprenger
ESSoS Doctoral Symposium, 2012
2012
Decidability of unification in EL without top constructor
NT Binh
International Conference on Web Reasoning and Rule Systems, 170-184, 2011
2011
Unification in the Description Logic EL Without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
2011
ETH Library
BT Nguyen, C Sprenger
Unification in Description Logic EL without top constructor
NT Binh
The system can't perform the operation now. Try again later.
Articles 1–14