Nikita Kirillov1 talk by Nikita KirillovAdoption of Slither for enhancing smart contracts security - Nikita Kirillov | Pessimistic Security