actsant Profile Banner
acassimiro.eth Profile
acassimiro.eth

@actsant

Followers
102
Following
3K
Media
14
Statuses
401

web3 dev, researcher, IT sec. enthusiast, jiu-jitsu fighter, pets and music lover.

Joined October 2018
Don't wanna be here? Send us removal request.
@actsant
acassimiro.eth
19 days
Always looking forward to improve. Big thanks to @rektoff_xyz for allowing me to be a part of the 1st cohort in it's Rust Security Bootcamp.
Tweet media one
1
0
8
@actsant
acassimiro.eth
1 month
RT @RaoulSaffron: SOON
0
3
0
@actsant
acassimiro.eth
2 months
RT @PaltaLabs: 🤝 Collab with @rv_inc .From @StellarOrg’s NYC office .@actsant explains the smart contract audit process.@esteblock_dev pres….
0
7
0
@actsant
acassimiro.eth
2 months
RT @rv_inc: 1/ We recently started working again with @Optimism to review the OP-Supervisor mechanism, a critical component of the upcomin….
0
5
0
@actsant
acassimiro.eth
3 months
RT @RaoulSaffron: The next major Simbolik update just landed — and it's packed with powerful new features and big performance gains. 🌎 Glo….
0
5
0
@actsant
acassimiro.eth
3 months
RT @rv_inc: 1/ We're excited to announce that we're officially partnering with @Immunefi to build, and integrate our formal verification to….
0
7
0
@actsant
acassimiro.eth
4 months
RT @RaoulSaffron: Simbolik now gives us finer-grained control when stepping through code. We can auto-break on event logs, storage writes,….
0
2
0
@actsant
acassimiro.eth
5 months
RT @rv_inc: 1/🧵 We are thrilled to announce @CPDebtFund´s Oracle Aggregator audit completion 🐞🔨. 👇 Keep reading to learn more about what w….
0
1
0
@actsant
acassimiro.eth
5 months
RT @rv_inc: And so another journey begins. 🏔️ Runtime Verification is heading to @EthereumDenver. This year in Colorado, the formal verific….
0
4
0
@actsant
acassimiro.eth
5 months
RT @RaoulSaffron: 🔮 The new Simbolik version is here!.We now support time travel debugging. That’s right—you can step backward in Solidity….
0
6
0
@actsant
acassimiro.eth
5 months
RT @RaoulSaffron: We just reached a new milestone update with Simbolik. The new version now supports deep inspection of ALL Solidity data t….
0
6
0
@actsant
acassimiro.eth
6 months
RT @rv_inc: 🚨WORKSHOP ALERT.We have teamed up with @cantinaxyz to bring you a Simbolik workshop to learn how to make the most of it during….
0
4
0
@actsant
acassimiro.eth
6 months
RT @youfelll: massive for security industry. should we do Simbolik workshop over @eigenlayer <> @cantinaxyz targeted audit scope?.
0
2
0
@actsant
acassimiro.eth
6 months
RT @rv_inc: If you love math, security and formal methods - please reach out. Sincerely,.Runtime Verification.💛💙
Tweet media one
0
4
0
@actsant
acassimiro.eth
6 months
RT @rv_inc: 1/🧵 Big news for security and formal verification community! . Our team has been awarded a grant for the @ethereum Foundation’s….
0
12
0
@actsant
acassimiro.eth
6 months
RT @rikardhjort: i’m starting to vibe with the christian concept of being incomplete and unworthy and receive infinite love and grace regar….
0
11
0
@actsant
acassimiro.eth
7 months
RT @RaoulSaffron: 2024 was an incredible year for our Solidity debugger, and we’re gearing up for an even bigger 2025! We want your input o….
0
1
0
@actsant
acassimiro.eth
7 months
RT @AggLayer: Smart Contract Smarts: Techniques for Cross-chain Code Security. Smart contract vulnerabilities don’t stop at one chain—they’….
0
3
0
@actsant
acassimiro.eth
7 months
RT @rv_inc: 1/ Revolutionize your formal verification experience with KaaS!. Introducing KaaS (K as a Service) – a cloud-based solution tra….
0
8
0
@actsant
acassimiro.eth
8 months
0
16
0