ChainSecurity

ChainSecurity provides products and services for securing smart contracts and blockchain protocols and conducts research and development in the areas of security, program analysis, and machine learning.

ChainSecurity is a spin-off from ETH Zurich’s ICE center, a top research lab in blockchain security. The company is behind the popular smart contract analyzer Securify and the smart contract verifier VerX. Crypto projects rely on the detailed audits by ChainSecurity to ensure top-grade security for their smart contracts and protocols.

Contact Information

Zurich Switzerland

Print Email Friend Add to Favorites Report Listing

Categories:
Blockchain & Web3 Security

CyberSecurity Jobsite

Perimeter 81

Real Attacks. Real Tools. Real Scenarios.
Schedule a demo

Sign Up: Cyber Security Intelligence Newsletter

Directory of Suppliers

The PC Support Group

A partnership with The PC Support Group delivers improved productivity, reduced costs and protects your business through exceptional IT, telecoms and cybersecurity services.

XYPRO Technology

XYPRO is the market leader in HPE Non-Stop Security, Risk Management and Compliance.

TÜV SÜD Academy UK

TÜV SÜD offers expert-led cybersecurity training to help organisations safeguard their operations and data.

CYRIN

CYRIN® Cyber Range. Real Tools, Real Attacks, Real Scenarios. See why leading educational institutions and companies in the U.S. have begun to adopt the CYRIN® system.

BackupVault

BackupVault is a leading provider of automatic cloud backup and critical data protection against ransomware, insider attacks and hackers for businesses and organisations worldwide.

Promon

Promon is an application security vendor providing Self-Protection abilities to Mobile apps and Desktop applications.

Electus Recruitment Solutions

Electus is a leading recruitment specialist in the Engineering, Technology & Digital and Cyber & Security sectors.

Maryman & Associates

Maryman & Associates are specialists in computer forensic investigations, incident response and e-discovery services.

Avast Software

Avast Software is a security software company that develops antivirus software and internet security services.

Preempt Security

The Preempt Platform delivers adaptive threat prevention that continuously preempts threats based on identity, behavior and risk.

ATIS Systems

ATIS Systems offers first-class complete solutions for legal interception, mediation, data retention, and IT forensics.

The ai Corporation

The ai Enterprise Fraud Solution is an on-prem or cloud-based self-service, machine learning fraud detection and prevention tool set.

Eskive

Eskive is a Brazilian cyber security awareness and education platform that empowers users and strengthens their company in the face of cyber threats.

T-REX

T-REX is a coworking space, technology incubator, and entrepreneur resource center for technology startups.

Voxility

Voxility provides Infrastructure-as-a-Service in the biggest Internet hubs in the world.

1898 & Co

Keep your critical assets secure with a comprehensive portfolio of services from high-level assessments to fully managed security services designed for operational technology applications.

Atlant Security

Atlant Security is a cyber and IT security company offering consulting and implementation services.

PROW Information Technology

PROW is at the forefront of the technology and digital revolution with a focus and mastery in the cybersecurity, information security and data management realms.

NETAND

NETAND privileged access and identity management solutions will secure your business from cyber threats.

Neya Systems

Neya Systems, a leader in advanced off-road autonomy and high-level multi-robot mission planning, provides innovative solutions for uncrewed ground, aerial, and surface vehicles.

Invary

Invary's expert Runtime Integrity solution, powered by NSA-licensed technology, verifies the security and confidentiality of your system.