共 50 条
- [34] Symbolic Proofs for Lattice-Based Cryptography PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 538 - 555
- [35] Lattice-based SMT for Program Verification 17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
- [36] Lattice-based relation algebras II THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 267 - +
- [38] Lattice-based relation algebras and their representability THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS: COST ACTION 274, TARSKI, REVISED PAPERS, 2003, 2929 : 231 - 255
- [39] Lattice-Based Accumulator with Efficient Updating 2022 17TH ASIA JOINT CONFERENCE ON INFORMATION SECURITY, ASIAJCIS, 2022, : 33 - 40