Tags

decidability and complexity

finite fields

probabilistic programs

Program equivalence

Computer security ; Formal methods ; Protocols ; Symbolic methods ; Computational model ;