مقاله‌های دارای تعهدات انتشار عمومی - Martín Ochoaبیشتر بدانید
جای دیگری دردسترس نیست: ۴
Specifying model changes with UMLchange to support security verification of potential evolution
S Wenzel, D Poggenpohl, J Jürjens, M Ochoa
Computer Standards & Interfaces 36 (4), 776-791, 2014
تعهدات: German Research Foundation
Non-interference on UML state-charts
M Ochoa, J Jürjens, J Cuéllar
International Conference on Modelling Techniques and Tools for Computer …, 2012
تعهدات: German Research Foundation
A sound decision procedure for the compositionality of secrecy
M Ochoa, J Jürjens, D Warzecha
Engineering Secure Software and Systems: 4th International Symposium, ESSoS …, 2012
تعهدات: German Research Foundation
ATLAS: A practical attack detection and live malware analysis system for IoT threat intelligence
YL Aung, M Ochoa, J Zhou
International Conference on Information Security, 319-338, 2022
تعهدات: National Research Foundation, Singapore
جای دیگری دردسترس است: ۱۶
Insight into insiders and it: A survey of insider threat taxonomies, analysis, modeling, and countermeasures
I Homoliak, F Toffalini, J Guarnizo, Y Elovici, M Ochoa
ACM Computing Surveys (CSUR) 52 (2), 1-40, 2019
تعهدات: European Commission, National Research Foundation, Singapore
Automatic quantification of cache side-channels
B Köpf, L Mauborgne, M Ochoa
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
تعهدات: German Research Foundation
Malware detection with quantitative data flow graphs
T Wüchner, M Ochoa, A Pretschner
Proceedings of the 9th ACM symposium on Information, computer and …, 2014
تعهدات: German Research Foundation
Cima: Compiler-enforced resilience against memory safety attacks in cyber-physical systems
EG Chekole, S Chattopadhyay, M Ochoa, H Guo, U Cheramangalath
Computers & Security 94, 101832, 2020
تعهدات: A*Star, Singapore
Leakage resilience against concurrent cache attacks
G Barthe, B Köpf, L Mauborgne, M Ochoa
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
تعهدات: European Commission
Evolution of security engineering artifacts: a state of the art survey
M Felderer, B Katt, P Kalb, J Jürjens, M Ochoa, F Paci, TT Tun, K Yskout, ...
Transportation Systems and Engineering: Concepts, Methodologies, Tools, and …, 2015
تعهدات: Austrian Science Fund, German Research Foundation
Detection of masqueraders based on graph partitioning of file system access events
F Toffalini, I Homoliak, A Harilal, A Binder, M Ochoa
2018 IEEE Security and Privacy Workshops (SPW), 217-227, 2018
تعهدات: National Research Foundation, Singapore
Scanning the cycle: Timing-based authentication on PLCs
CM Ahmed, M Ochoa, J Zhou, A Mathur
Proceedings of the 2021 ACM Asia Conference on Computer and Communications …, 2021
تعهدات: National Research Foundation, Singapore
Foobar: Fault fooling backdoor attack on neural network training
J Breier, X Hou, M Ochoa, J Solano
IEEE Transactions on Dependable and Secure Computing 20 (3), 1895-1908, 2022
تعهدات: European Commission
AttkFinder: Discovering attack vectors in PLC programs using information flow analysis
JH Castellanos, M Ochoa, AA Cardenas, O Arden, J Zhou
Proceedings of the 24th International Symposium on Research in Attacks …, 2021
تعهدات: US National Science Foundation, US Department of Defense, National Research …
Indistinguishable regions in geographic privacy
J Cuellar, M Ochoa, R Rios
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1463-1469, 2012
تعهدات: German Research Foundation, Government of Spain
Idea: Unwinding based model-checking and testing for non-interference on EFSMs
M Ochoa, J Cuéllar, A Pretschner, P Hallgren
Engineering Secure Software and Systems: 7th International Symposium, ESSoS …, 2015
تعهدات: European Commission
Location proximity attacks against mobile targets: Analytical bounds and attacker strategies
X Wang, X Hou, R Rios, P Hallgren, NO Tippenhauer, M Ochoa
European Symposium on Research in Computer Security, 373-392, 2018
تعهدات: Swedish Research Council, Government of Spain
Constrained Proximity Attacks on Mobile Targets
X Wang, X Hou, R Rios, NO Tippenhauer, M Ochoa
ACM Transactions on Privacy and Security 25 (2), 1-29, 2022
تعهدات: Government of Spain
Is modeling access control worth it?
D Basin, J Guarnizo, S Krstic, H Nguyen, M Ochoa
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
تعهدات: Swiss National Science Foundation
Report on the RS3 Topic Workshop" Security Properties in Software Engineering"
M Ochoa, S Pape, T Ruhroth, B Sprick, K Stenzel, H Sudbrock
تعهدات: German Research Foundation
اطلاعات انتشارات و تأمین بودجه به‌طورخودکار توسط برنامه رایانه‌ای تعیین می‌شود.