| 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 | 71 | 2021 |
| Abstractions for security protocol verification BT Nguyen, C Sprenger, C Cremers Journal of Computer Security 26 (4), 459-508, 2018 | 5 | 2018 |
| Sound security protocol transformations BT Nguyen, C Sprenger International Conference on Principles of Security and Trust, 83-104, 2013 | 5 | 2013 |
| 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 | 4 | 2011 |
| Deciding Unifiability and Computing Local Unifiers in the Description Logic without Top Constructor F Baader, NT Binh, S Borgwardt, B Morawska | 3 | 2016 |
| 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 | 1 | 2011 |
| 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 | | |
