Encryption & Secret Sharing: Registered Matchmaking Encryption.- Sum-Preserving Encryption: Improved Bounds and Constructions for Long Vectors.- Fully Secure Searchable Encryption from PRFs, Pairings, and Lattices.- Pre-Constructed Publicly Verifiable Secret Sharing and Applications. Blockchains & Decentralized Systems: HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts.- Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment.- SoK: Measuring Blockchain Decentralization.- Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols.

- Sassafras: Effcient Batch Single Leader Election. Multi-Party Computation: Oblivious suffx sorting: A multi-party computation scheme for secure and effcient suffx sorting.- Share&Shrink: Effcient and Delegatable MPC in one Broadcast then Asynchrony.- Delayed-Input Multi-Party Computation.- Quantum-Safe Public Key Blinding from MPC-in-the-Head Signature Schemes. Network Security: Opening Pandora's Packet: Expose IPv6 Implementations Vulnerabilities Using Differential Fuzzing.- TAU: Trust via Asynchronous Updates for Satellite Network Resiliency. Cryptographic primitives and protocols: Spilling-Cascade: an Optimal PKE Combiner for KEM Hybridization.

- Distributed Asynchronous Remote Key Generation.- Anonymous Authenticated Key Exchange.- Key Recovery Attacks on Unpatched MEGA from Four Queries: Solving Approximate Divisor Problem with Help of Approximation of Squared Divisor.- Tighter provable security for TreeKEM.