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

#programverification search results

whokilleddb's profile picture. Maldev @bhinfosecurity | Finding increasingly stupid ways to do simple things
db
 @whokilleddb
Aug 31

So verifier.dll exposes a function called VerifierDestroyRpcPageHeap() which has this opcode RIGHT AT THE BEGINNING of the function - which we can use to fetch the PEB without calling something like __readgsqword(0x60) directly. PoC: github.com/whokilleddb/fu…

whokilleddb's tweet image. So verifier.dll exposes a function called VerifierDestroyRpcPageHeap() which has this opcode RIGHT AT THE BEGINNING of the function - which we can use to fetch the PEB without calling something like __readgsqword(0x60) directly. PoC: github.com/whokilleddb/fu…
9
89
557
335
64K
GoodwinMJ's profile picture. Want to support me? Sign up/support here https://t.co/xawYBQaQAZ Everything else https://t.co/5xqy7msUCc
Matt Goodwin
@GoodwinMJ
2 h

This is just straight up propaganda. BBC Verify should be shut down It is an ideological indoctrination unit masquerading as an independent 'fact checker'

GoodwinMJ's tweet image. This is just straight up propaganda. BBC Verify should be shut down It is an ideological indoctrination unit masquerading as an independent 'fact checker'
GoodwinMJ's tweet image. This is just straight up propaganda. BBC Verify should be shut down It is an ideological indoctrination unit masquerading as an independent 'fact checker'
GoodwinMJ's tweet image. This is just straight up propaganda. BBC Verify should be shut down It is an ideological indoctrination unit masquerading as an independent 'fact checker'
GoodwinMJ's tweet image. This is just straight up propaganda. BBC Verify should be shut down It is an ideological indoctrination unit masquerading as an independent 'fact checker'
34
261
1K
50
18K
PatrickAlphaC's profile picture. Co-founder of 🛡️@cyfrinaudits | 🟪 @soloditofficial | 🦅 @codehawks | 🎓 @cyfrinupdraft Building the Web3 we promised.
Patrick Collins
@PatrickAlphaC
Aug 14, 2024

The Assembly and Formal Verification Course is LIVE on YouTube! It's been on Cyfrin Updraft for about 3 months, but now also YouTube! Learn: - Opcodes - Gas optimizations - Formal Verification with Halmos & Certora - Huff - And so much more for you to become an optimizoooorr 👇

PatrickAlphaC's tweet image. The Assembly and Formal Verification Course is LIVE on YouTube! It's been on Cyfrin Updraft for about 3 months, but now also YouTube! Learn: - Opcodes - Gas optimizations - Formal Verification with Halmos & Certora - Huff - And so much more for you to become an optimizoooorr 👇
15
31
291
51
11K
Sdesalvaje's profile picture. ↆ MI CANAL DE YOUTUBE ↆ TECH + IA + NEGOCIOS ➜ https://t.co/Iy74ruuU8l
💀 SALVAJE 💀
@Sdesalvaje
Oct 20, 2022

[ SER PROGRAMADOR ] es uno de los trabajos más solicitados hoy en día Pero para conseguirlo tienes que formarte bien Por eso te traigo 5 [ CURSOS DE PROGRAMACIÓN ] impartidos por universidades 【 100% GRATUITOS + CERTIFICADO 】 [ H I L O ]

Sdesalvaje's tweet image. [ SER PROGRAMADOR ] es uno de los trabajos más solicitados hoy en día Pero para conseguirlo tienes que formarte bien Por eso te traigo 5 [ CURSOS DE PROGRAMACIÓN ] impartidos por universidades 【 100% GRATUITOS + CERTIFICADO 】 [ H I L O ]
96
3K
9K
5K
0
tom_doerr's profile picture. Follow for posts about GitHub repos, DSPy, and agents Subscribe for top posts DM to share your AI project (Due to volume of DMs I'll prioritize subscribers)
Tom Dörr
@tom_doerr
16 h

CLI tool to validate links in an IPTV playlist

tom_doerr's tweet image. CLI tool to validate links in an IPTV playlist
1
4
19
22
4K
viijayscript's profile picture. Our #Platform is developing #AI Generated #Videos to help #Students & Young #Professionals Discover #GitHub #Repository. Follow our Founder @vijayprogrammr
ViijayScript
 @viijayscript
4 h

Learn how to check and print valid dates in Java by practicing now. This program has been compiled and tested in BlueJ specifically for ICSE students. The algorithm used in this program will not only help you improve your programming skills but also enhance your capabilities.

1
0
1
0
7
AnadhirOne's profile picture. #Cryptocurrency OG. 🔸Hold and Study #Kaspa.🔸 #KAS & #BTC.
AnadhirOne
@AnadhirOne
Nov 5

☝️🤓Vamos con un repaso y una explicación sencilla de que son los #vProgs y cómo funcionan. ➡️Qué es un vProg? 📌Un vProg es un "Programa Verificable". No os perdáis en la simplicidad de la respuesta, sino desgranemosla. 1⃣"Programa", es decir unas lineas de código que hacen…

AnadhirOne's tweet image. ☝️🤓Vamos con un repaso y una explicación sencilla de que son los #vProgs y cómo funcionan. ➡️Qué es un vProg? 📌Un vProg es un "Programa Verificable". No os perdáis en la simplicidad de la respuesta, sino desgranemosla. 1⃣"Programa", es decir unas lineas de código que hacen…
1
5
13
3
432
M_Solidus's profile picture. Privacy & Security Advocate || Freedom Maximalist || Monero Enthusiast || Posting educational content on various tech related or non related topics
Marconius Solidus #FreeSamourai
@M_Solidus
Oct 3

Software verification is a MUST. If you value your privacy & security and don't know how to verify software, you're NGMI. "And what's so dangerous about it?" > lost crypto funds > stolen credentials > worst case - control over your whole operating system

M_Solidus's tweet image. Software verification is a MUST. If you value your privacy & security and don't know how to verify software, you're NGMI. "And what's so dangerous about it?" > lost crypto funds > stolen credentials > worst case - control over your whole operating system
9
23
242
90
9K
M_Solidus's profile picture. Privacy & Security Advocate || Freedom Maximalist || Monero Enthusiast || Posting educational content on various tech related or non related topics
Marconius Solidus #FreeSamourai
@M_Solidus
Sep 24

THIS IS THE STEP ALMOST EVERYBODY FORGETS WHEN INSTALLING SOFTWARE. Most likely nobody never taught you about Software Verification because they’re unaware of it too. If you don't verify stuff you install, you're asking get hacked. HERE'S WHY AND HOW YOU SHOULD VERIFY SOFTWARE…

M_Solidus's tweet image. THIS IS THE STEP ALMOST EVERYBODY FORGETS WHEN INSTALLING SOFTWARE. Most likely nobody never taught you about Software Verification because they’re unaware of it too. If you don't verify stuff you install, you're asking get hacked. HERE'S WHY AND HOW YOU SHOULD VERIFY SOFTWARE…
10
66
391
361
15K
MangoOS_Network's profile picture. Multi-VM Omni-Chain Infra Network | Integrates the core advantages of OPStack & #Move | EVM & MoveVM support https://t.co/CCQMfVARnv
Mango Network
@MangoOS_Network
Jan 8

We've got two quick tutorial videos to help with the front-end verification issues you've been facin. Check them plz 👇 (don't mind the accent of the AI lol)

936
33K
36K
185
266K
solana's profile picture. The high performance network powering internet capital markets, payments, and crypto applications. ◎ X By @SolanaFndn
Solana
@solana
Nov 19

Introducing Solana Verifiable Builds — a new era of transparent, verifiable programs on Solana.

233
277
2K
115
565K
Oddvarmoe's profile picture. Red Teamer @TrustedSec | MS MVP | Speaker | Security Researcher | Blogger | Total n00b & always learning | UNC1194 | Tinkerer | Gamer I try to inspire!
Oddvar Moe
@Oddvarmoe
Nov 11, 2017

A quicktip to all treat hunters out there: sfc.exe /verifyonly and look in the C:\Windows\Logs\CBS\CBS.log file afterwards. Look for "does not match". Easy way to check system binaries 😎

Oddvarmoe's tweet image. A quicktip to all treat hunters out there: sfc.exe /verifyonly and look in the C:\Windows\Logs\CBS\CBS.log file afterwards. Look for "does not match". Easy way to check system binaries 😎
1
151
295
2
0
0xDeep's profile picture. co-founder @asgardfi | principal systems engineer | economist | 🥩 | prev. HFT | be kind
0xDeep | Asgard (Hiring)
@0xDeep
Aug 31, 2024

🚀 Introducing the Solana Programs Verified Directory! A public dashboard for trusted, verified Solana programs. 🔍 Search, explore, and verify program. 🤝 Powered by @osec_io & @jarxiao’s verifiable build program. 🛠️ Devs: Verify your programs. Don't trust — verify 👇

0xDeep's tweet image. 🚀 Introducing the Solana Programs Verified Directory! A public dashboard for trusted, verified Solana programs. 🔍 Search, explore, and verify program. 🤝 Powered by @osec_io & @jarxiao’s verifiable build program. 🛠️ Devs: Verify your programs. Don't trust — verify 👇
29
85
353
109
205K
realest_tomi's profile picture. A tired human.
Teeti💙💙
 @realest_tomi
Jul 25, 2023

After weeks of rigorous trainings and exams. I'm glad to announce that I'm now a Proofpoint Certified Cybersecurity Awareness Specialist 💙💙💙 Here's to sharing the Cyber Gospel 🥂💙

realest_tomi's tweet image. After weeks of rigorous trainings and exams. I'm glad to announce that I'm now a Proofpoint Certified Cybersecurity Awareness Specialist 💙💙💙 Here's to sharing the Cyber Gospel 🥂💙
65
69
775
76
48K
M_Solidus's profile picture. Privacy & Security Advocate || Freedom Maximalist || Monero Enthusiast || Posting educational content on various tech related or non related topics
Marconius Solidus #FreeSamourai
@M_Solidus
Sep 8

When you're installing: - GNU/Linux - GrapheneOS - any critical piece of software like Crypto Wallet Always make sure to verify the package, unless it is: - official distribution package - verified Flatpak

M_Solidus's tweet image. When you're installing: - GNU/Linux - GrapheneOS - any critical piece of software like Crypto Wallet Always make sure to verify the package, unless it is: - official distribution package - verified Flatpak
6
27
245
78
8K
willccbb's profile picture. reward hacking @primeintellect
will brown
@willccbb
Feb 26

verifiers update ✅ no longer needs TRL fork ✅ custom multi-step tool calling ✅ we have Deep Research at home (Qwen-7B + DuckDuckGo)

willccbb's tweet image. verifiers update ✅ no longer needs TRL fork ✅ custom multi-step tool calling ✅ we have Deep Research at home (Qwen-7B + DuckDuckGo)
willccbb's tweet image. verifiers update ✅ no longer needs TRL fork ✅ custom multi-step tool calling ✅ we have Deep Research at home (Qwen-7B + DuckDuckGo)
willccbb's tweet image. verifiers update ✅ no longer needs TRL fork ✅ custom multi-step tool calling ✅ we have Deep Research at home (Qwen-7B + DuckDuckGo)
13
24
353
227
32K
willccbb's profile picture. reward hacking @primeintellect
will brown
@willccbb
Aug 27

thanks for the shoutout! your call-to-action was absolutely a huge inspiration for building the `verifiers` repo + everything else we've been doing at @primeintellect :) link for anyone who wants to check it out: github.com/willccbb/verif…

willccbb's tweet card. Environments for LLM Reinforcement Learning. Contribute to PrimeIntellect-ai/verifiers development by creating an account on GitHub.
GitHub - PrimeIntellect-ai/verifiers: Environments for LLM Reinforcement Learning
Source: github.com
1
8
294
64
17K
M_Solidus's profile picture. Privacy & Security Advocate || Freedom Maximalist || Monero Enthusiast || Posting educational content on various tech related or non related topics
Marconius Solidus #FreeSamourai
@M_Solidus
Jul 14

When you're installing: - GNU/Linux - GrapheneOS - any critical piece of software like Crypto Wallet Always make sure to verify the package, unless it is: - official distribution package - verified Flatpak

M_Solidus's tweet image. When you're installing: - GNU/Linux - GrapheneOS - any critical piece of software like Crypto Wallet Always make sure to verify the package, unless it is: - official distribution package - verified Flatpak
9
28
289
142
14K
iris_ma14's profile picture. PhD Student @UCIrvine under @cristalopes | #SE | #LLM4Code | program verification
Iris Ma
 @iris_ma14
Feb 3, 2024

The preprint @FSEconf is out ☀️ If you’re interested in #LLMs for #FormalMethod and #ProgramVerification, don’t miss it 😺 #FSE24 #Dafny

MRHMisu's profile picture. PhD Candidate @UCIrvine | ex-SR @GoogleDeepMind |ex-Research Intern @MSFTResearch | Commonwealth Scholar @commschols
MRHMisu
 @MRHMisu
Feb 3, 2024

LLM shows “great promise” in code synthesis. Can LLM keep "the promise" to ensure that its synthesis code is formally correct ? Check our @FSEconf 2024 paper. "Towards AI-Assisted Synthesis of Verified #Dafny Methods" 📃:arxiv.org/abs/2402.00247 📦:github.com/Mondego/dafny-…

MRHMisu's tweet card. [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods - Mondego/dafny-synthesis
GitHub - Mondego/dafny-synthesis: [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
Source: github.com
0
2
17
10
7K
0
0
7
0
1K
Concbon_Mene's profile picture. Data scientist
Birgitta Arnet
 @Concbon_Mene
Nov 26, 2023

3/ 🚀 Master Leo's Core Functions: assert and assert_eq! These functions are essential for verifying conditions, ensuring program correctness, and providing robust error checking in your Leo programs. 🛡️🧰 #LeoCoreFunctions #ErrorChecking #ProgramVerification #CodeWalkthrough

Concbon_Mene's tweet image. 3/ 🚀 Master Leo's Core Functions: assert and assert_eq! These functions are essential for verifying conditions, ensuring program correctness, and providing robust error checking in your Leo programs. 🛡️🧰 #LeoCoreFunctions #ErrorChecking #ProgramVerification #CodeWalkthrough
1
0
0
0
10
ACSAC_Conf's profile picture. One of the longest-running computer security conferences. This year‘s edition: Annual Computer Security Applications Conference (ACSAC) ACSAC 2025 | Dec 8-12
ACSAC
 @ACSAC_Conf
Aug 16, 2023

#ProgramAnalysis and #ProgramVerification on #TrustedPlatforms are your expertise? Then you should take a look at the PAVeTrust workshop which will be held at #ACSAC2023 later this year. You can find all the details in the call for papers on the website: acsac.org/2023/workshops…

0
0
1
0
494
DiegoMarmsoler's profile picture.
Diego Marmsoler
 @DiegoMarmsoler
Jan 25, 2022

Thanks @gidonernst for a very nice talk about #programverification using summaries as part of our research group seminar!

0
0
1
0
0
benzorn's profile picture. Partner Researcher, RiSE group, Microsoft Research, Redmond. Interests include programming languages, spreadsheets, responsible AI, generative AI, CRA-Industry.
Ben Zorn (he/him) https://aka.ms/zorn
 @benzorn
Sep 9, 2019

#ProjectEverest is a milestone in applying #formalmethods and #programverification to real systems. The team is pioneering #softwareverification at an unprecented scale, using languages like F* and #theoremprovers including #Z3. #Software #SoftwareEngineering @MSFTResearch

MSFTResearch's profile picture. We advance science and technology to benefit humanity.
Microsoft Research
@MSFTResearch
Sep 5, 2019

Think strong correctness needs to come at the expense of performance? Think again. F*, the proving methodology of Project Everest, lets you implement low-level optimizations backed by proofs to make sure you get them right: aka.ms/AA5zwvi

4
118
1K
3
0
0
0
2
0
0
No results for "#programverification"
LMHSMSA's profile picture. The Matador Scholar Association (MSA) is the honors club at LMHS for students who want to be challenged academically in order to be well prepared for college.
La Mirada MSA
 @LMHSMSA
Aug 6, 2017

LMHS welcomes a brand new batch of Seniors tomorrow. Class of 2018 it's finally your time. 💛💙🎉💯 #programverification #BacktoSchool

LMHSMSA's tweet image. LMHS welcomes a brand new batch of Seniors tomorrow. Class of 2018 it's finally your time. 💛💙🎉💯 #programverification #BacktoSchool
0
9
25
0
0
LMHSMSA's profile picture. The Matador Scholar Association (MSA) is the honors club at LMHS for students who want to be challenged academically in order to be well prepared for college.
La Mirada MSA
 @LMHSMSA
Aug 8, 2017

LMHS welcomes our brand new Juniors today!! #programverification #juniors #classof2019 💙💛🎉💯🙌🏽

LMHSMSA's tweet image. LMHS welcomes our brand new Juniors today!! #programverification #juniors #classof2019 💙💛🎉💯🙌🏽
0
4
9
0
0
Concbon_Mene's profile picture. Data scientist
Birgitta Arnet
 @Concbon_Mene
Nov 26, 2023

3/ 🚀 Master Leo's Core Functions: assert and assert_eq! These functions are essential for verifying conditions, ensuring program correctness, and providing robust error checking in your Leo programs. 🛡️🧰 #LeoCoreFunctions #ErrorChecking #ProgramVerification #CodeWalkthrough

Concbon_Mene's tweet image. 3/ 🚀 Master Leo's Core Functions: assert and assert_eq! These functions are essential for verifying conditions, ensuring program correctness, and providing robust error checking in your Leo programs. 🛡️🧰 #LeoCoreFunctions #ErrorChecking #ProgramVerification #CodeWalkthrough
1
0
0
0
10

Something went wrong.


Something went wrong.


United States Trends