Top Tweets for #FormalMethodsNOW
Still no formal methods track
But don’t worry, plenty of room for AI talks!!
Friends: this is beyond stupid. AI is not easier than FM. Nor is it cheaper. Nor does it even *work*
We can do better! We can #ReinventInfoSec! #FormalMethodsNOW!
Only a short time left to submit for @BlackHatEvents USA. We have a new track and would love to see your best AI, ML, and Data Science submission. I wrote a small post about the track here. https://t.co/52ToLxBDIL #AI #ML #Security
Ok!
Nevermind the monthly breach notices ...
Nevermind that nearly every application for a credit card or *DoD security clearnance* has been stolen
Yep InfoSec is going a real bang up job!
#ReinventInfoSec #FormalMethodsNOW!
People who complain that information security is terrible and getting worse must have short memories. Only 20 years ago, malware was unstoppable. It seemed a Very Bad Idea for anyone who wasn't a security expert to use a computing device for anything important or sensitive.
💁♀️ If you gotta grapple w the structure then you gotta grapple w the structure
📜 Prose might look more inviting *at first*
👩🏭 But every engineer who reads it is gonna need to translate into notation anyway
👩💻 Why not give an inductive type, some Prop’s?
#FormalMethodsNOW!
People who say that notation is bad and that it would be better if we explained things in plain prose have never had to carefully implement the GraphQL specification.
🔥🥰 Really enjoying this blog post at @rv_inc by @Mus_ab and Brandon Moore (https://t.co/n0VQWygiSq) comparing #KFramework to @CoqLang
👨💻 Includes this EXCELLENT answer to "how does the new gen differ from the old?"
https://t.co/sZMDwPGuso
🙌 Check it out! #FormalMethodsNOW!
LOTS of software issues here 🤦
Look folks
We need to get serious about Formal Methods
@Boeing is already an R&D leader here. When will they make it operational? Leverage @HRLLaboratories and other assets!
Research did their job! Cmon industry! Time's up!
#FormalMethodsNOW!
And the NASA/Boeing telecon about Starliner is getting started.
A new ally maybe? 😉
Amazing changes in last 5-10 years - let’s start the conversation!
#FormalMethodsNOW!
One thing we can talk about:
https://t.co/pvlRi8QH0w
Correctly designed technology should always be incredibly boring and dull. It should “just work” with no adventure. If you like excitement, take up kite surfing instead
We’re not going to change things by doing the same stuff over and over
We need to #ReinventInfoSec! And a whole lot more.
Join the conversation! #FormalMethodsNOW!
🙋 What happens if you go to POPL, see a ton of amazing stuff, then tweet about it for a week?
👨💻 You fall behind on replies!
I've met /so many/ fascinating people just by shouting #FormalMethodsNow
Ppl asking about meetups, jobs, startups, tech of course, also sociology (!)🥰
Is the solution to switch from language X to language Y?
Or does the solution demand something a bit spicier 🌶🌶🌶
Separation logic v powerful - esp when combined w mechanized logic & modern automation
Lots of promising work!
https://t.co/uGAzhhEGUk
#FormalMethodsNOW!
When do you think we’ll finally accept that C is too dangerous to be used to implement software like this?
https://t.co/yAEZBgmo6m
Good news!
It is lit MY JOB to follow ppl & tell them abt the incredible revolution going on in computer science
CS bulked like a freaking RHINO🦏 - new programming/logic/CaTeGOrIeS shakes, epic
Got homotopy thry, lifting big
It's Hilbert's Program 2.0 bruh
#FormalMethodsNOW
You’ve heard of 💡 mode
You’ve heard of 🌑 mode
But have you heard of 🌭 mode?
Computers have come a long way but there’s still a long ways left to go
This won’t be the last time we #ReinventInfoSec! #FormalMethodsNOW!
💡💡💡 This year we’re going to begin the conversation!
Take notice of what the comp sci community has been up to the last 5-10 years!
🙋 Mechanized logic!
🙋♀️ Mechanized semantics!
🙋♂️ Automated proofs!
It’s a Renaissance! Join us!🤝 #ReinventInfoSec!
#FormalMethodsNOW!
Re: BoringSSL & Chrome
The finite-field arithmetic for the two most widely used elliptic curves, P-256 and Curve25519, was generated & proven correct in Coq
Use Chrome? You're already using Formal Methods 👏
https://t.co/HOYJQpQQUm
We can #ReinventInfoSec! #FormalMethodsNOW!
before jumping into the assembly (THERE WAS A JOKE THERE, DID YOU SEE, DID YOU SEE IT) maybe i should first show some C taken from an older version of BoringSSL which multiplies two n-bit numbers into a 2n-bit result in constant-time (albeit relying on hardware multiplication)
💁 Might I offer observation:
InfoSec is stuck
Go to conference and compare talks to 10 yrs ago - some change, but is it enough?
InfoSec for users maybe worse than ever - tech grew faster than security
🙋♀️ But modern CS offers hope!
We can #ReinventInfoSec! #FormalMethodsNOW!
Ever attained a life goal, only to be disappointed by - what now? The fun is the getting there, in a way. Once you're there, what if there's no "what's the next fun / conquest to be had?"
I'll be at @UW today for an event by @hcdeUW on Computer Supported Cooperative Work
🤝 Looking for project collaborators who want to help #ReinventInfoSec by leveraging @CoqLang in a CSCW workflow
👋 Shoot me a DM if you want to meet for coffee in Suzzallo!
#FormalMethodsNOW!
“The FBI is the only organization on Earth complaining that computer security is too good” -@mattblaze just now at #enigma2020
How many times have I heard someone say
“I’m writing a secure X in language Y”
I’ve heard it all before and it always ends the same
You’re not gonna get a better result without changing your ways!
Let’s #ReinventInfoSec! #FormalMethodsNOW!
If you want to see some cool Formal Methods in action,
Checkout @DARPA SafeDocs! By @sergeybratus
A HEAD TO HEAD competition between traditional #LangSec and modern Formal Methods
Who’ll win? Computer-checked proofs? Or hand-crafted code?
#ReinventInfoSec #FormalMethodsNOW!
Learned skill
Takes getting it wrong a few times
One neat trick: ask if the situation in the subject area has evolved since you last formed opinions about it
For example, you ever meet someone who says we should #ReinventInfoSec
Ask them for examples 😏
#FormalMethodsNOW
When you’re hearing new ideas how do you make sure you’re giving them a fair shot instead of just confirming or denying their validity according to your previous ideas/beliefs? I wonder how much I do this.
Last Seen Hashtags on Sotwe
nolimit() nolimit filter:native_video
Seen from United States
第四爱
Seen from Russia
murrsuit
Seen from Ireland
borankuzum
Seen from Turkey
ลาดกระบังนัดเย็ด
Seen from Thailand
shemale public
Seen from Greece
prank brondong coli
Seen from Malaysia
نيج_عراقية
Seen from Germany
bbwnaked
Seen from Kenya
Teenage nolimit ******--------
Seen from Greece
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.7M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
90.9M followers
KATY PERRY
@katyperry
87.7M followers
Taylor Swift
@taylorswift13
81.6M followers
Lady Gaga
@ladygaga
73.1M followers
Virat Kohli
@imvkohli
70M followers
Kim Kardashian
@kimkardashian
69.8M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.9M followers
Neymar Jr
@neymarjr
62.8M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.8M followers