Formal Verification, Microkernel, Capability Security, Isabelle/HOL
RefSTAR: Blind Facial Image Restoration with Reference Selection, Transfer, and Reconstruction
arxiv.org·1h
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·1h
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·5d
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.org·1h
Less Stress, More Privacy: Stress Detection on Anonymized Speech of Air Traffic Controllers
arxiv.org·1h
Loading...Loading more...