2 papers
cs.PL2022
Mechanized Noninterference for Gradual Security
Tianyu Chen, Jeremy G. Siek
This paper presents the first machine-checked proof of noninterference for a language with gradual information-flow control, thereby establishing a rock solid foundation for secure…
cs.CR2022
BadRes: Reveal the Backdoors through Residual Connection
Mingrui He, Tianyu Chen, Haoyi Zhou +2
Generally, residual connections are indispensable network components in building CNNs and Transformers for various downstream tasks in CV and VL, which encourages skip shortcuts be…