Kostas Ferles Practical Security Analysis

Media Summary: From the 2024 Carnegie Mellon University Secure Blockchain Summit. Zero-knowledge proofs are often assumed to guarantee privacy by default. If a proof verifies, the intuition is that secrets must be ... V for Verification: A Unified Service for Secure Blockchains By

Kostas Ferles Practical Security Analysis - Detailed Analysis & Overview

From the 2024 Carnegie Mellon University Secure Blockchain Summit. Zero-knowledge proofs are often assumed to guarantee privacy by default. If a proof verifies, the intuition is that secrets must be ... V for Verification: A Unified Service for Secure Blockchains By So based on based on this key idea we developed the

Photo Gallery

Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits

USENIX Security '24 - Practical Security Analysis of Zero-Knowledge Proof Circuits

What is Vanguard static analysis tool? | Kostas Ferles

How zero-knowledge apps can leak data (and how to detect it) | Kostas Ferles

Common Vulnerability Patterns in Aleo | Jon Stephens and Kostas Ferles (Veridise)

V for Verification, Kostas Ferles - DeFi Security Summit 2022

Lessons from the Auditing Trenches: "What do ZK Developers get Wrong?" by Kostas Ferles, Veridise

Kostas Ferles (Veridise) - ZKVM Determinism That Lasts: From Audits to Continuous Verification

Securify: Practical Security Analysis of Smart Contracts

Securify: Practical Security Analysis of Smart Contracts | Petar Tsankov

2015 - Static Analysis Security Testing for Dummies… and You

View Detailed Profile

Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits

Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits

From the 2024 Carnegie Mellon University Secure Blockchain Summit.

USENIX Security '24 - Practical Security Analysis of Zero-Knowledge Proof Circuits

USENIX Security '24 - Practical Security Analysis of Zero-Knowledge Proof Circuits

Practical Security Analysis

What is Vanguard static analysis tool? | Kostas Ferles

What is Vanguard static analysis tool? | Kostas Ferles

Kostas Ferles

How zero-knowledge apps can leak data (and how to detect it) | Kostas Ferles

How zero-knowledge apps can leak data (and how to detect it) | Kostas Ferles

Zero-knowledge proofs are often assumed to guarantee privacy by default. If a proof verifies, the intuition is that secrets must be ...

Common Vulnerability Patterns in Aleo | Jon Stephens and Kostas Ferles (Veridise)

Common Vulnerability Patterns in Aleo | Jon Stephens and Kostas Ferles (Veridise)

Presenter: Jon Stephens &

V for Verification, Kostas Ferles - DeFi Security Summit 2022

V for Verification, Kostas Ferles - DeFi Security Summit 2022

V for Verification: A Unified Service for Secure Blockchains By

Lessons from the Auditing Trenches: "What do ZK Developers get Wrong?" by Kostas Ferles, Veridise

Lessons from the Auditing Trenches: "What do ZK Developers get Wrong?" by Kostas Ferles, Veridise

In this session,

Kostas Ferles (Veridise) - ZKVM Determinism That Lasts: From Audits to Continuous Verification

Kostas Ferles (Veridise) - ZKVM Determinism That Lasts: From Audits to Continuous Verification

ZK

Securify: Practical Security Analysis of Smart Contracts

Securify: Practical Security Analysis of Smart Contracts

Despite their potential, repeated

Securify: Practical Security Analysis of Smart Contracts | Petar Tsankov

Securify: Practical Security Analysis of Smart Contracts | Petar Tsankov

So based on based on this key idea we developed the

2015 - Static Analysis Security Testing for Dummies… and You

2015 - Static Analysis Security Testing for Dummies… and You

Most enterprise application