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