Formally Synthesizing Secure Distributed Systems from Centralized Programs
        
        
        
        
          
        
        
      
        
    
        
        This research unifies simulation-based security with compiler techniques to automatically generate provably secure distributed cryptographic applications.
        
        Threshold Signatures Enhance Blockchain Security, Decentralization, and Fault Tolerance
        
        
        
        
          
        
        
      
        
    
        
        A novel cryptographic primitive distributes signing authority across multiple parties, fundamentally mitigating single points of failure and bolstering decentralized system resilience.
        
        Practical Distributed Broadcast Encryption Eliminates Centralized Key Escrow
        
        
        
        
          
        
        
      
        
    
        
        This research introduces practical distributed broadcast encryption schemes, enabling secure group messaging without a trusted central authority.
