Search papers, labs, and topics across Lattice.
University of Florida Gainesville
3
0
3
PowerFuzz achieves near-gray-box branch coverage in black-box settings by harnessing power side-channel data, revolutionizing firmware testing.
Formal verification reveals that AMD SEV can achieve robust security guarantees previously unassured in virtualized environments.
Quantum autoencoders can purify adversarial examples, boosting the robustness of quantum classifiers by up to 68% without adversarial training.
