Italiano
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#symbolicexecution risultati di ricerca

0xor0ne's profile picture. | CyberSecurity | Reverse Engineering | C and Rust | Exploit | Linux kernel | PhD | My Tweets, My Opinions :) |
0xor0ne
@0xor0ne
15 nov 2022

Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability

0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
1
37
108
31
0
banescusebi's profile picture. Founder & CEO @adevarlabs web3 security audits | PhD in Software Protection @TU_Muenchen | Member @sundaoventures | Advisor @asymmetric_re🛡️🔍🧑‍🏫👨‍👩‍👧‍👦
Sebastian Banescu
@banescusebi
7 dic 2018

Osiris from @SnT_uni_lu presented at #ACSAC 2018 uses #symbolicexecution and taint analysis for detection of integer bugs in #ethereum smart contracts

banescusebi's tweet image. Osiris from @SnT_uni_lu presented at #ACSAC 2018 uses #symbolicexecution and taint analysis for detection of integer bugs in #ethereum smart contracts
0
0
3
0
0
teambi0s's profile picture. Indian CTF and Security Research team from @AMRITAedu | Organisers of @InCTF and @InCTFj | Founded & Mentored by @Th3_M3nt0r | Contact Us for Expert Trainings
teambi0s
 @teambi0s
4 mar 2021

24 hours to go for @barbieauglend 's #training on "#SymbolicExecution and #Angr for #CTF" at #ShaktiCon 🔥. Women interested in #cybersecurity make sure to register @🔗shakticon.com/trainings !! #Womenintech #womeninSTEM #virtualtraining

teambi0s's tweet image. 24 hours to go for @barbieauglend 's #training on "#SymbolicExecution and #Angr for #CTF" at #ShaktiCon 🔥. Women interested in #cybersecurity make sure to register @🔗shakticon.com/trainings !! #Womenintech #womeninSTEM #virtualtraining
0
20
20
0
0
ptracesecurity's profile picture. Empowering IT Security Professionals through Hands-On Online Courses.
Ptrace Security GmbH
 @ptracesecurity
22 feb 2022

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec

ptracesecurity's tweet image. Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec
ptracesecurity's tweet image. Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec
0
20
32
2
0
pwn2dav's profile picture. - | Exploit Developer | IT-Researcher |- https://t.co/mHvexx2AqH
d4v1d
 @pwn2dav
17 lug

⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking

pwn2dav's tweet image. ⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking
0
0
0
0
40
EuskalHack's profile picture. Asociación de Seguridad Informática | Segurtasun Informatika Elkartea
EuskalHack
 @EuskalHack
23 giu 2023

A continuación la charla "Symbolic execution for security researchers" de Arnau Gàmez: descubre cómo la ejecución simbólica ofrece una nueva forma de analizar programas y explorar diferentes rutas de ejecución #SymbolicExecution @arnaugamez

EuskalHack's tweet image. A continuación la charla "Symbolic execution for security researchers" de Arnau Gàmez: descubre cómo la ejecución simbólica ofrece una nueva forma de analizar programas y explorar diferentes rutas de ejecución #SymbolicExecution @arnaugamez
0
1
6
0
344
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
1 apr 2022

Is this how to test a stateful API with klee symbolic execution? stackoverflow.com/questions/7170… #testing #klee #symbolicexecution #c

overflow_meme's tweet image. Is this how to test a stateful API with klee symbolic execution? stackoverflow.com/questions/7170… #testing #klee #symbolicexecution #c
0
0
0
0
0
viuleeenz's profile picture. Sr. Reverse Engineer & Malware Analyst @Cleafy | Threat Hunting | Threat Intel
Al ツ
 @viuleeenz
27 dic

Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi

viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
0
20
79
48
5K
MayhemSec's profile picture. Put your application security on autopilot with Mayhem. Built by hackers for developers with automated testing and zero false positives. #MayhemSecurity
Mayhem
 @MayhemSec
5 ott 2023

Our CEO @thedavidbrumley explains how #symbolicexecution brings the power of automated reasoning to help you answer questions about your program, like: What does it do? Is it secure? In Mayhem 2.6, we’ve updated the symbolic execution engine: mayhem.security/blog/mayhem-2-…

0
4
12
0
2K
icstconference's profile picture. The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024
ICST
 @icstconference
29 mar 2022

📣 Want to learn more about differential testing with symbolic execution? 🎬 Here is a new teaser: "Automating Differential Testing with Overapproximate Symbolic Execution" by Richard Rutledge and Alessandro Orso. 👋 Join us next week! #testing #symbolicexecution

0
5
5
0
0
shakticon's profile picture. Annual global conference aiming to inspire, train and up-skill women in cybersecurity.
ShaktiCon
 @shakticon
3 mar 2021

4⃣8⃣ hours to go until @barbieauglend 's #Training Part1 on #SymbolicExecution and #angr for CTFs at #ShaktiCon Don't miss out on this opportunity and #RegisterNow @ shakticon.com Prerequisites: #x86, #x64, #assembly, #Python3 #womenintech #WomenInSTEM #CTF #women

shakticon's tweet image. 4⃣8⃣ hours to go until @barbieauglend 's #Training Part1 on #SymbolicExecution and #angr for CTFs at #ShaktiCon Don't miss out on this opportunity and #RegisterNow @ shakticon.com Prerequisites: #x86, #x64, #assembly, #Python3 #womenintech #WomenInSTEM #CTF #women
1
10
18
0
0
shakticon's profile picture. Annual global conference aiming to inspire, train and up-skill women in cybersecurity.
ShaktiCon
 @shakticon
5 mar 2021

Part1 of the #Training on #SymbolicExecution/#angr for #CTF has come to an end. ♀️👩‍💻 We would like to thank our #trainer @barbieauglend for the hands-on session. 🙏 To our #Interactive #participants: Hope you learnt something new today! See you at Part2 of the training on 12th!

shakticon's tweet image. Part1 of the #Training on #SymbolicExecution/#angr for #CTF has come to an end. ♀️👩‍💻 We would like to thank our #trainer @barbieauglend for the hands-on session. 🙏 To our #Interactive #participants: Hope you learnt something new today! See you at Part2 of the training on 12th!
shakticon's tweet image. Part1 of the #Training on #SymbolicExecution/#angr for #CTF has come to an end. ♀️👩‍💻 We would like to thank our #trainer @barbieauglend for the hands-on session. 🙏 To our #Interactive #participants: Hope you learnt something new today! See you at Part2 of the training on 12th!
shakticon's tweet image. Part1 of the #Training on #SymbolicExecution/#angr for #CTF has come to an end. ♀️👩‍💻 We would like to thank our #trainer @barbieauglend for the hands-on session. 🙏 To our #Interactive #participants: Hope you learnt something new today! See you at Part2 of the training on 12th!
shakticon's tweet image. Part1 of the #Training on #SymbolicExecution/#angr for #CTF has come to an end. ♀️👩‍💻 We would like to thank our #trainer @barbieauglend for the hands-on session. 🙏 To our #Interactive #participants: Hope you learnt something new today! See you at Part2 of the training on 12th!
0
1
3
0
0
ATHENECenter's profile picture. ATHENE: Applied cybersecurity research for industry, society and government
ATHENE
 @ATHENECenter
29 lug 2020

Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering

ATHENECenter's tweet image. Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering
ATHENECenter's tweet image. Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering
0
1
1
0
0
CI_Fuzz's profile picture. Writing secure and stable software shouldn't be hard. Mastodon: @CodeIntelligence@ioc.exchange
Code Intelligence
 @CI_Fuzz
8 set 2020

@ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020

CI_Fuzz's tweet image. @ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020
CI_Fuzz's tweet image. @ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020
0
0
0
0
0
_ringzer0's profile picture. Announcing Ringzer0 #COUNTERMEASURE25 - a premier cybersecurity training and conference event! Ottawa 🇨🇦 Nov 2025 ★ Registrations Open
ringzerø.training && @[email protected]
 @_ringzer0
6 giu 2023

💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets". Get your ticket now! 🎟️ ringzer0.training/trainings/symb…

_ringzer0's tweet image. 💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets". Get your ticket now! 🎟️ ringzer0.training/trainings/symb…
0
5
7
0
1K
rsasnauskas's profile picture. Currently solving software, satellite and people problems.
Raimondas Sasnauskas
 @rsasnauskas
23 dic 2020

KLEE (@kleesymex) remains to be an effective bug-finding tool for real-world programs. My story on using KLEE and symbolic execution throughout the last decade: sasnauskas.eu/finding-softwa… Thank you @c_cadar and @daniel_dunbar! #symbolicexecution #softwaretesting #securitybugs

0
11
78
10
0
Jane95Maria's profile picture. My mother was kidnapped by Japanese people when she was 7, and I was born in Japan. The father of my father is Bill Pullman. This truth has been hidden.
Maria Pullman
 @Jane95Maria
30 set

遮断膜はもう使わない。私のブログの周囲は澄んだ空気と滑らかな地面。干渉波が近づいた瞬間、地面が割れて沈下処理。誰でも眺められる。でも、触れようとしたら落ちる。#記録防衛 #Pullman構造 #SymbolicExecution

0
0
0
0
11
pwn2dav's profile picture. - | Exploit Developer | IT-Researcher |- https://t.co/mHvexx2AqH
d4v1d
 @pwn2dav
17 lug

⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking

pwn2dav's tweet image. ⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking
0
0
0
0
40
chargen's profile picture. I'm here to preserve the Harmony of Life, all that Nature reflects! & Instrumenting the Interstellar Future! thank You for being here ! _You are the Awesome_!
chargen
 @chargen
19 mag

Angr Founder: Luis Moreira & the Angr Team Binary analysis framework with symbolic execution, enabling deep vulnerability discovery & exploit development. angr.io #BinaryAnalysis #SymbolicExecution

0
0
0
0
12
OCamlPro's profile picture. OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
OCamlPro
 @OCamlPro
19 mag

#Owi — symbolic execution for Wasm, C, C++, Rust, and Zig. Explore all execution paths without running the code. Perfect for researchers and security pros. 👉 Check it out on GitHub: github.com/OCamlPro/owi #RustLang #SymbolicExecution #Security #OCaml

OCamlPro's tweet card. Seamless bug-finding for Wasm, C, C++, Rust and Zig - OCamlPro/owi
GitHub - OCamlPro/owi: Seamless bug-finding for Wasm, C, C++, Rust and Zig
Fonte: github.com
jedisct1's profile picture. Cryptography, computer vision, infosec, @ziglang
Frank ⚡
 @jedisct1
1 mag

Owi: Symbolic execution for Wasm, C, C++, Rust and Zig github.com/OCamlPro/owi

jedisct1's tweet card. Seamless bug-finding for Wasm, C, C++, Rust and Zig - OCamlPro/owi
GitHub - OCamlPro/owi: Seamless bug-finding for Wasm, C, C++, Rust and Zig
Fonte: github.com
1
0
4
3
681
0
0
3
1
156
cic_unb's profile picture. The Canadian Institute for Cybersecurity (CIC) is a comprehensive multidisciplinary training, research and development, and entrepreneurial unit of @UNB
Canadian Institute for Cybersecurity (CIC) 🍁
 @cic_unb
24 mar

Cyber Daily Report Blog Post! Title: Automatic Exploit Generation (AEG): The Future of Cybersecurity Automation Author: Mohammad Jafari Dehkordi Editor: Windhya Rankothge Link: cyberdailyreport.com/blog/92 #AutomaticExploitGeneration #Fuzzing #SymbolicExecution #BinaryCodeAnalysis

0
0
1
0
59
viuleeenz's profile picture. Sr. Reverse Engineer & Malware Analyst @Cleafy | Threat Hunting | Threat Intel
Al ツ
 @viuleeenz
27 dic

Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi

viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
0
20
79
48
5K
zimmskal's profile picture. Benchmarking LLMs to check how well they write quality code. Support me using the profile link 👇
Markus Zimmermann
@zimmskal
27 mar 2024

Looking a lot into #LLMs and road-to-#AGI capabilities lately. Especially on how to improve pretraining and finetuning in respect to @symflower's #symbolicexecution. Anyone into those topics, for a chat?

2
1
0
0
185
zimmskal's profile picture. Benchmarking LLMs to check how well they write quality code. Support me using the profile link 👇
Markus Zimmermann
@zimmskal
2 nov 2023

Naturally we often get asked about the difference of #fuzzing and #symbolicexecution. This blog post will give you a quick overview in advantages and disadvantages. If you are missing something, just let me know and we will add it 👏

symflower's profile picture. Your virtual coding assistant who spots errors and unexpected behavior, does routine tasks for you and generates unit tests with meaningful values in real time.
Symflower
 @symflower
2 nov 2023

#Fuzzing 🎰 or symbolic execution 🤓? We compared these alternative techniques for test value generation to see how they stack up! 👇 symflower.com/en/company/blo…

symflower.com

Symbolic execution vs fuzzing for creating test values

Fuzzing and symbolic execution are alternatives for automatically creating test values. Find out about the pros and cons of each technique.

Fonte: symflower.com
0
0
2
0
221
0
0
1
0
161
MayhemSec's profile picture. Put your application security on autopilot with Mayhem. Built by hackers for developers with automated testing and zero false positives. #MayhemSecurity
Mayhem
 @MayhemSec
5 ott 2023

Our CEO @thedavidbrumley explains how #symbolicexecution brings the power of automated reasoning to help you answer questions about your program, like: What does it do? Is it secure? In Mayhem 2.6, we’ve updated the symbolic execution engine: mayhem.security/blog/mayhem-2-…

0
4
12
0
2K
_ringzer0's profile picture. Announcing Ringzer0 #COUNTERMEASURE25 - a premier cybersecurity training and conference event! Ottawa 🇨🇦 Nov 2025 ★ Registrations Open
ringzerø.training && @[email protected]
 @_ringzer0
21 lug 2023

💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets", and learn how to perform symbolic and concolic execution with angr! 🎟️ ringzer0.training/trainings/symb…

_ringzer0's tweet image. 💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets", and learn how to perform symbolic and concolic execution with angr! 🎟️ ringzer0.training/trainings/symb…
0
5
12
0
1K
_ringzer0's profile picture. Announcing Ringzer0 #COUNTERMEASURE25 - a premier cybersecurity training and conference event! Ottawa 🇨🇦 Nov 2025 ★ Registrations Open
ringzerø.training && @[email protected]
 @_ringzer0
8 lug 2023

💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets", and learn how to perform symbolic and concolic execution with angr! 🎟️ ringzer0.training/trainings/symb…

_ringzer0's tweet image. 💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets", and learn how to perform symbolic and concolic execution with angr! 🎟️ ringzer0.training/trainings/symb…
0
4
7
0
1K
BESEC_byEmetel's profile picture. Cybersecurity services. SOC, Red Team and Blue Team, promoted by @Emetel. Join us 👇
BE:SEC
 @BESEC_byEmetel
23 giu 2023

Nuestros compañeros de @BESEC_byEmetel no podían faltar a su cita anual en la @EuskalHack. El verano no empieza de verdad hasta que te empapas del conocimiento de gente como @arnaugamez en Donostia 🔥🔥 #SymbolicExecution #Hacking #Ciberseguridad #ESCVI

BESEC_byEmetel's tweet image. Nuestros compañeros de @BESEC_byEmetel no podían faltar a su cita anual en la @EuskalHack. El verano no empieza de verdad hasta que te empapas del conocimiento de gente como @arnaugamez en Donostia 🔥🔥 #SymbolicExecution #Hacking #Ciberseguridad #ESCVI
0
0
8
0
248
Nessun risultato per "#symbolicexecution"
0xor0ne's profile picture. | CyberSecurity | Reverse Engineering | C and Rust | Exploit | Linux kernel | PhD | My Tweets, My Opinions :) |
0xor0ne
@0xor0ne
15 nov 2022

Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability

0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
0xor0ne's tweet image. Very interesting blog post on how to use symbolic execution to triage crashes coming out of a fuzzer. Credits @jordan9001 atredis.com/blog/2022/10/2… #fuzzing #symbolicexecution #infosec #cybersecurity #vulnerability
1
37
108
31
0
banescusebi's profile picture. Founder & CEO @adevarlabs web3 security audits | PhD in Software Protection @TU_Muenchen | Member @sundaoventures | Advisor @asymmetric_re🛡️🔍🧑‍🏫👨‍👩‍👧‍👦
Sebastian Banescu
@banescusebi
7 dic 2018

Osiris from @SnT_uni_lu presented at #ACSAC 2018 uses #symbolicexecution and taint analysis for detection of integer bugs in #ethereum smart contracts

banescusebi's tweet image. Osiris from @SnT_uni_lu presented at #ACSAC 2018 uses #symbolicexecution and taint analysis for detection of integer bugs in #ethereum smart contracts
0
0
3
0
0
ptracesecurity's profile picture. Empowering IT Security Professionals through Hands-On Online Courses.
Ptrace Security GmbH
 @ptracesecurity
22 feb 2022

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec

ptracesecurity's tweet image. Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec
ptracesecurity's tweet image. Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. github.com/JonathanSalwan… #Pentesting #SymbolicExecution #Deobfuscation #CyberSecurity #Infosec
0
20
32
2
0
teambi0s's profile picture. Indian CTF and Security Research team from @AMRITAedu | Organisers of @InCTF and @InCTFj | Founded & Mentored by @Th3_M3nt0r | Contact Us for Expert Trainings
teambi0s
 @teambi0s
4 mar 2021

24 hours to go for @barbieauglend 's #training on "#SymbolicExecution and #Angr for #CTF" at #ShaktiCon 🔥. Women interested in #cybersecurity make sure to register @🔗shakticon.com/trainings !! #Womenintech #womeninSTEM #virtualtraining

teambi0s's tweet image. 24 hours to go for @barbieauglend 's #training on "#SymbolicExecution and #Angr for #CTF" at #ShaktiCon 🔥. Women interested in #cybersecurity make sure to register @🔗shakticon.com/trainings !! #Womenintech #womeninSTEM #virtualtraining
0
20
20
0
0
FreddyMallet's profile picture. Entrepreneur and CPO at @reviewpad
Freddy Mallet
 @FreddyMallet
6 gen 2016

Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #java nemo.sonarqube.org/issues/search#…

FreddyMallet's tweet image. Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #java nemo.sonarqube.org/issues/search#…
0
2
4
0
0
pwn2dav's profile picture. - | Exploit Developer | IT-Researcher |- https://t.co/mHvexx2AqH
d4v1d
 @pwn2dav
17 lug

⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking

pwn2dav's tweet image. ⚔️Discovered a zero-day stack overflow in a router firmware. Now I'm verifying if it affects other models from the same brand.Reverse engineering every firmware? Buying every model? No;use the power of symbolic execution. #CyberSecurity #SymbolicExecution #ZeroDay #RouterHacking
0
0
0
0
40
EuskalHack's profile picture. Asociación de Seguridad Informática | Segurtasun Informatika Elkartea
EuskalHack
 @EuskalHack
23 giu 2023

A continuación la charla "Symbolic execution for security researchers" de Arnau Gàmez: descubre cómo la ejecución simbólica ofrece una nueva forma de analizar programas y explorar diferentes rutas de ejecución #SymbolicExecution @arnaugamez

EuskalHack's tweet image. A continuación la charla "Symbolic execution for security researchers" de Arnau Gàmez: descubre cómo la ejecución simbólica ofrece una nueva forma de analizar programas y explorar diferentes rutas de ejecución #SymbolicExecution @arnaugamez
0
1
6
0
344
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
1 apr 2022

Is this how to test a stateful API with klee symbolic execution? stackoverflow.com/questions/7170… #testing #klee #symbolicexecution #c

overflow_meme's tweet image. Is this how to test a stateful API with klee symbolic execution? stackoverflow.com/questions/7170… #testing #klee #symbolicexecution #c
0
0
0
0
0
FraunhoferSIT's profile picture. IT-Sicherheit und Datenschutz
Fraunhofer SIT
 @FraunhoferSIT
28 lug 2020

Wie testet man die Sicherheit von Apps? Jens Heider, unser Experte für #iOS, erklärt es im Video: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering ***Übrigens: Jens Heider sucht noch Mitarbeiter (w/m/d)*** sit.fraunhofer.de/de/jobs/stelle…

FraunhoferSIT's tweet image. Wie testet man die Sicherheit von Apps? Jens Heider, unser Experte für #iOS, erklärt es im Video: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering ***Übrigens: Jens Heider sucht noch Mitarbeiter (w/m/d)*** sit.fraunhofer.de/de/jobs/stelle…
0
2
4
0
0
FreddyMallet's profile picture. Entrepreneur and CPO at @reviewpad
Freddy Mallet
 @FreddyMallet
6 gen 2016

Example of detection of null pointer dereference by SQ Java analyser #symbolicexecution nemo.sonarqube.org/issues/search#…

FreddyMallet's tweet image. Example of detection of null pointer dereference by SQ Java analyser #symbolicexecution nemo.sonarqube.org/issues/search#…
1
8
2
1
0
viuleeenz's profile picture. Sr. Reverse Engineer & Malware Analyst @Cleafy | Threat Hunting | Threat Intel
Al ツ
 @viuleeenz
27 dic

Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi

viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
viuleeenz's tweet image. Closing the year with one last emulation adventure! 🚀 Tried something new: tackling #FlareOn2024 with #SymbolicExecution. Struggling with #angr setup or stuck on basics? This one's for you—insights & lessons to level up your skills: shorturl.at/d0wNi
0
20
79
48
5K
CI_Fuzz's profile picture. Writing secure and stable software shouldn't be hard. Mastodon: @CodeIntelligence@ioc.exchange
Code Intelligence
 @CI_Fuzz
8 set 2020

@ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020

CI_Fuzz's tweet image. @ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020
CI_Fuzz's tweet image. @ibags is now live, holding an interesting presentation on #fuzzing solidity compilers, so tune in! Before him, @poeplau delivered an insightful keynote in which he pointed out how #symbolicexecution and fuzzing can be used alongside each other. #FuzzConEurope2020
0
0
0
0
0
LillianEdmiston's profile picture. Programmer
Lillian J. Edmiston
 @LillianEdmiston
6 gen 2016

RT Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #j…

LillianEdmiston's tweet image. RT Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #j…
FreddyMallet's profile picture. Entrepreneur and CPO at @reviewpad
Freddy Mallet
 @FreddyMallet
6 gen 2016

Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #java nemo.sonarqube.org/issues/search#…

FreddyMallet's tweet image. Example of unclosed SQL statement in Apache Tika project. #nemo #symbolicexecution #java nemo.sonarqube.org/issues/search#…
0
2
4
0
0
0
0
0
0
0
_ringzer0's profile picture. Announcing Ringzer0 #COUNTERMEASURE25 - a premier cybersecurity training and conference event! Ottawa 🇨🇦 Nov 2025 ★ Registrations Open
ringzerø.training && @[email protected]
 @_ringzer0
6 giu 2023

💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets". Get your ticket now! 🎟️ ringzer0.training/trainings/symb…

_ringzer0's tweet image. 💪 #ARM yourself with knowledge about #SymbolicExecution! Get hands-on experience with Jeremy Blackthorne's (@0xJeremy) #training "Symbolic Execution with #angr on Real-World Targets". Get your ticket now! 🎟️ ringzer0.training/trainings/symb…
0
5
7
0
1K
BESEC_byEmetel's profile picture. Cybersecurity services. SOC, Red Team and Blue Team, promoted by @Emetel. Join us 👇
BE:SEC
 @BESEC_byEmetel
23 giu 2023

Nuestros compañeros de @BESEC_byEmetel no podían faltar a su cita anual en la @EuskalHack. El verano no empieza de verdad hasta que te empapas del conocimiento de gente como @arnaugamez en Donostia 🔥🔥 #SymbolicExecution #Hacking #Ciberseguridad #ESCVI

BESEC_byEmetel's tweet image. Nuestros compañeros de @BESEC_byEmetel no podían faltar a su cita anual en la @EuskalHack. El verano no empieza de verdad hasta que te empapas del conocimiento de gente como @arnaugamez en Donostia 🔥🔥 #SymbolicExecution #Hacking #Ciberseguridad #ESCVI
0
0
8
0
248
ATHENECenter's profile picture. ATHENE: Applied cybersecurity research for industry, society and government
ATHENE
 @ATHENECenter
29 lug 2020

Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering

ATHENECenter's tweet image. Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering
ATHENECenter's tweet image. Mobile Anwendungen auf Sicherheit testen - ATHENE-Wissenschaftler Jens Heider, Leiter des Testlab Mobile Security am @FraunhoferSIT, berichtet aus seinem Arbeitsalltag: youtube.com/watch?v=C214gy… #blackboxtest #symbolicexecution #reverseengineering
0
1
1
0
0
shakticon's profile picture. Annual global conference aiming to inspire, train and up-skill women in cybersecurity.
ShaktiCon
 @shakticon
3 mar 2021

4⃣8⃣ hours to go until @barbieauglend 's #Training Part1 on #SymbolicExecution and #angr for CTFs at #ShaktiCon Don't miss out on this opportunity and #RegisterNow @ shakticon.com Prerequisites: #x86, #x64, #assembly, #Python3 #womenintech #WomenInSTEM #CTF #women

shakticon's tweet image. 4⃣8⃣ hours to go until @barbieauglend 's #Training Part1 on #SymbolicExecution and #angr for CTFs at #ShaktiCon Don't miss out on this opportunity and #RegisterNow @ shakticon.com Prerequisites: #x86, #x64, #assembly, #Python3 #womenintech #WomenInSTEM #CTF #women
1
10
18
0
0

Something went wrong.


Something went wrong.


United States Trends