共 50 条
- [31] Second-Order Quantified Boolean Logic THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4007 - 4015
- [32] On the Multiplicative Complexity of Boolean Functions and Bitsliced Higher-Order Masking CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2016, 2016, 9813 : 457 - 478
- [33] Optimal First-Order Boolean Masking for Embedded IoT Devices SMART CARD RESEARCH AND ADVANCED APPLICATIONS (CARDIS 2017), 2018, 10728 : 22 - 41
- [34] Theoretical Analysis of Flocking Algorithms in Networks of Second Order Dynamic Agents With Switching Topologies JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2014, 136 (01):
- [36] Bitslicing Arithmetic/Boolean Masking Conversions for Fun and Profit with Application to Lattice-Based KEMs IACR Transactions on Cryptographic Hardware and Embedded Systems, 2022, 2022 (04): : 553 - 588
- [39] SECOND ORDER ARITHMETIC MEANS IN OPERATOR IDEALS OPERATORS AND MATRICES, 2007, 1 (02): : 235 - 256
- [40] Complex analysis in subsystems of second order arithmetic Archive for Mathematical Logic, 2007, 46 : 15 - 35