# Security and Audits

## Bug Bounty

Our current bug bounty program can be found on Remedy:\
<https://r.xyz/bug-bounty/programs/tokemak>

## Audits

### Hexens

autoUSD Audit - March 2025

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/hexens-autousd-march-25th-2025)

Autopilot Full System Audit - May 2024

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/hexens-tokemak-autopilot-may-2024)

Autopilot Full System Follow Up - July 2024

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/hexens-autopilot-follow-up-updates-audit-july-2024)

### Certora

LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/certora-lmpstrategy-security-assessment-and-formal-verification-report-jan-march-2024)

### Hats Finance - Autopilot

Crowd Competition Smart Contract Audit, February - March 2024

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/hats.finance-crowd-competition-smart-contract-audit-february-march-2024)

### Halborn - Autopilot

Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/halborn-autopilot-autopools-contracts-preliminary-smart-contract-audit-sept-2023)

### Halborn - Autopilot

Autopilot Pricing Contracts - Formal Verification Report - Sept 2023

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/halborn-autopilot-pricing-contracts-formal-verification-report-sept-2023)

### Sherlock - Autopilot

Autopilot Contracts - Crowd Competition - Sept 2023

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/sherlock-autopilot-contracts-crowd-competition-sept-2023)

### Halborn - accTOKE

accTOKE Contract - Nov 2022

[Read more](https://docs.auto.finance/developer-docs/security-and-audits/halborn-acctoke-contract-nov-2022)