Author:
Avvenuti Marco,Bernardeschi Cinzia,De Francesco Nicoletta,Masci Paolo
Subject
Hardware and Architecture,Information Systems,Software
Reference27 articles.
1. COSTA: a cost and termination analyzer for Java bytecode;Albert,2008
2. Static program analysis for Java Card applets;Almaliotis,2008
3. A logic for information flow in object-oriented programs;Amtoft;SIGPLAN Notices,2006
4. Java bytecode verification for secure information flow;Avvenuti;SIGPLAN Notices,2003
5. A tool for checking secure interaction in Java cards;Avvenuti,2009
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline;2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2023-07
2. Formalization and co-simulation of attacks on cyber-physical systems;Journal of Computer Virology and Hacking Techniques;2020-01-09
3. Wearable Devices for Human Activity Recognition and User Detection;2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP);2019-02
4. Can Machine Learning Predict Soccer Match Results?;Proceedings of the 11th International Conference on Agents and Artificial Intelligence;2019
5. Modeling and Simulation of Attacks on Cyber-physical Systems;Proceedings of the 5th International Conference on Information Systems Security and Privacy;2019