Circomspect has more passes! | allinfosecnews.com

March 21, 2023, noon | Trail of Bits

Trail of Bits Blog blog.trailofbits.com

By Fredrik Dahlgren, Principal Security Engineer TL;DR: We have released version 0.8.0 of Circomspect, our static analyzer and linter for Circom. Since our initial release of Circomspect in September 2022, we have added five new analysis passes, support for tags, tuples, and anonymous components, links to in-depth descriptions of each identified issue, and squashed a […]

analysis anonymous blockchain crytic dahlgren descriptions engineer issue links products release security security engineer september static analyzer support version

More from blog.trailofbits.com / Trail of Bits Blog

Understanding AddressSanitizer: Better memory safety for your code 2 days, 15 hours ago | blog.trailofbits.com

application security attacks bug can +20

A peek into build provenance for Homebrew 4 days, 15 hours ago | blog.trailofbits.com

alpha alpha-omega beta build +13

Using benchmarks to speed up Echidna 1 week, 3 days ago | blog.trailofbits.com

ben benchmarks bits blockchain +19

The life and times of an Abstract Syntax Tree 2 weeks, 2 days ago | blog.trailofbits.com

artificially intelligent can clear compiler +14

Curvance: Invariants unleashed 2 weeks, 4 days ago | blog.trailofbits.com

assessments audits blockchain building +15

Announcing two new LMS libraries 3 weeks, 1 day ago | blog.trailofbits.com

algorithm bits cryptography digital +17

5 reasons to strive for better disclosure processes 1 month ago | blog.trailofbits.com

blog bugs disclosure examples +6

Introducing Ruzzy, a coverage-guided Ruby fuzzer 1 month, 2 weeks ago | blog.trailofbits.com

application security bits bugs code +16

Why fuzzing over formal verification? 1 month, 3 weeks ago | blog.trailofbits.com

audits blockchain development fuzzing +3

Information Security Engineers

@ D. E. Shaw Research | New York City

View on infosec-jobs.com

Technology Security Analyst

@ Halton Region | Oakville, Ontario, Canada

View on infosec-jobs.com

Senior Cyber Security Analyst

@ Valley Water | San Jose, CA

View on infosec-jobs.com

Sr. Staff Firmware Engineer – Networking & Firewall

@ Axiado | Bengaluru, India

View on infosec-jobs.com

Compliance Architect / Product Security Sr. Engineer/Expert (f/m/d)

@ SAP | Walldorf, DE, 69190

View on infosec-jobs.com

SAP Security Administrator

@ FARO Technologies | EMEA-Portugal

View on infosec-jobs.com