Palina Tolmach

Palina Tolmach co-authored a survey of smart contract specification and verification methods.

8 talks by Palina Tolmach

• Off-Chain But Not Off Radar - DeFi Security Summit 2025
• A Playbook of Secure Smart Contract Development by Palina Tolmach | Devcon SEA
• A Playbook of Secure Smart Contract Development
• How To Get Security Under Kontrol by Palina Tolmach
• DeFi Security Summit 2023: Day 2, 16 July
• Towards Adoption of Symbolic Execution for DeFi Security
• Practical Symbolic Execution for EVM | Palina Tolmach, MakerDAO | ETHTaipei 2023
• Automated Vulnerability Fixing in (DeFi) Smart Contracts