Isaac Potoczny-Jones @SyntaxPolice
Machine learning, #Encryption and #IAM, #Cybersecurity, #Privacy, #pdx, #Haskell, Cycling. Founder of @tozny. @[email protected] Portland, OR Joined January 2008-
Tweets3K
-
Followers660
-
Following524
-
Likes1K
Galois this week announced the release of Cryptol 3.0.0, Crux 0.7, and SAW 1.0. This significant update brings extensive overhauls and new features—an exciting leap forward for our core verification tools. galois.com/news/galois-re…
"It's rough because, for those who are still doing this, the load is increasing," Tozny understands, cyber professionals are busy! Our technology is designed to optimize security posture while minimizing the overhead it takes to run it. ow.ly/euK650NQZXp
Models such as Stable Diffusion are trained on copyrighted, trademarked, private, and sensitive images. Yet, our new paper shows that diffusion models memorize images from their training data and emit them at generation time. Paper: arxiv.org/abs/2301.13188 👇[1/9]
"Given access to a synthetic dataset, a strategic adversary can infer, with high confidence, the presence of a target record in the original data." Synthetic data have a lot of value, so this study is concerning and disappointing to see. Though perhaps not surprising.
"Given access to a synthetic dataset, a strategic adversary can infer, with high confidence, the presence of a target record in the original data." Synthetic data have a lot of value, so this study is concerning and disappointing to see. Though perhaps not surprising.
In our latest article, Galois research engineer Sourya Dey discusses DLKoopman, an open-source software tool developed by Galois to model and predict the behavior of complex systems, from aeronautics to quantum mechanics to medical science and beyond. galois.com/blog/2023/01/d…
I got into a discussion with @OrinKerr the other day about the recent NYT op-ed on Signal and whether “metadata-resistant communications” is good or bad for policing and if it should be opposed. And I guess I wanted to talk about how those arguments should be approached. 1/
The Core Libraries Committee that governs the main Haskell libraries has openings: discourse.haskell.org/t/clc-election…
Portland Public Schools to hire first-ever Safe Routes to School leader - Move comes amid Safe Routes funding boost, bike bus movement in full steam, and city look to make good on goal of 25% of trips by bike by 2030 bikeportland.org/2022/12/20/por…
"One of the reasons why getting full access to your device is really tempting for governments is the same reason it’s tempting for abusive partners and former partners: we carry tracking devices in our pockets." - EFF Director of Cybersecurity @evacide ted.com/talks/eva_galp…
Cybersecurity year in review from @NSACyber: nsa.gov/Press-Room/Pre…
Is this allowed? I can't keep track. Mastodon: @[email protected]
I think we’re about to see an explosion of new end-to-end encrypted cloud services. bleepingcomputer.com/news/security/…
As experts have long been pointing out: NFTs are a lie. The "thing" you think you are buying is just a URL. When the website goes down, your NFT points to nothing.
As experts have long been pointing out: NFTs are a lie. The "thing" you think you are buying is just a URL. When the website goes down, your NFT points to nothing.
Looks like Apple is rolling out opt-in end to end encryption for iCloud backups. apple.com/newsroom/2022/…
I can’t tell what’s going on internally, but it looks like Apple has gotten over these concerns sufficiently to (soon) enable full encryption for iCloud backups. This will require users to opt in, and it will include a “social backup” feature in case you lose your passcode. 6/
1. Signal (libaxolotl) uses GPL/AGPL. 2. Moxie goes on vacation. 3. Twitter abandons it’s encrypted DMs project. 4. Elon Musk can read your DMs.
A buddy who's interested in end-to-end encryption (E2EE) but hasn't done one of these projects in the very messy place which is the real world happened to ask me this morning about pitfalls which might not be obvious. So here's a partial list in the hopes that it's helpful. 🧵
I'm trying Mastodon here. Please feel free to follow: @[email protected]
Thrilled to be joining the @tozny board of directors! Thanks to Tom Sperry and Adam Stoll of Rogue Venture Partners, Rob Wiltbank of @galois , and Raj Srivathsa and the @tozny leadership team for asking me to be part of this awesome journey. #cybersecurity #endtoendsecurity
Thrilled to be joining the @tozny board of directors! Thanks to Tom Sperry and Adam Stoll of Rogue Venture Partners, Rob Wiltbank of @galois , and Raj Srivathsa and the @tozny leadership team for asking me to be part of this awesome journey. #cybersecurity #endtoendsecurity
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
The FIDO Alliance @FIDOAlliance
14K Followers 6K Following The FIDO Alliance is changing the nature of online authentication.
The Oregonian @Oregonian
444K Followers 1K Following News updates from the #1 news source in the Pacific NW. See it all at https://t.co/2LnuazQlTF. Find reporter and more accounts in our lists.
vixentael 🛡🇺�... @vixentael
25K Followers 2K Following I do software security, security engineering and applied cryptography | problem-solver @cossacklabs | she | Ukraine
Miguel Ángel Gallard @mikegl
127 Followers 863 Following
Thesythu @ThesythudqNkb
25 Followers 2K Following It is strange that we disdain to be with others, but we are afraid of being different
Hayley @Hayley269589
42 Followers 3K Following
Axidian @AxidianTech
642 Followers 4K Following IT security vendor with HQ in UAE and offices in Lithuania and Singapore. We bring evolution to the #PKI, #IAM, #PrivillegedAccessManagement, #AccessManagement
Joanna Lora @Stableshares
387 Followers 705 Following All decisions you make now will be the cornerstone of changing your future, so every step should be carefully considered.
Will.Jager @WillisJager
129 Followers 309 Following Independent journalist | Privacy & Technology | Exposing government overreach. My DMs are open for story leads. Reach out - I'm listening.
Swueteau @Swueteaumaiq_K
35 Followers 4K Following
Jessica Ashley @JessicaAsh16669
30 Followers 708 Following
SharpITS @_SharpITS
24 Followers 187 Following SharpITS Is An Industry Leader In Digital Identity, Cybersecurity Advisory Services, IAM Solutions, Integrations And Implementation Services.
aravind @aravind_kamble
53 Followers 983 Following
Rice Senpai @PhamtaroCos
17 Followers 15 Following ♠️ Software Engineer ♥️ Gunpla ♦️ Video Games ♣️ Software Engineer
RyannHarryETH @RHarryEth_
284 Followers 407 Following •アクションフィギュアと暗号技術 • Building on Web3 イーサウォレットコレクター
john e mattison @johnemattison
1K Followers 600 Following BehavioralSymphonyOfWellness-HealthcarePlecosystem-Dyadarity-AI-InnovationAtScale-HealthPolicy-Multiomics-CitizenScience-SingularityU--distributed ledger tech
Cyrus O’Brien @CyrusJOBrien
492 Followers 1K Following Working for equality and against prisons & surveillance. Now @safeandjust. Fmrly @umich, @ReligPolitics, @ACLU, Mellon/ACLS Pub Fel, @splcenter, @fsujustice
Слава Малах... @mvalaar
1K Followers 369 Following Отец-основатель и автор в Дореволюцiонный Совѣтчикъ, князь-хуемразь, пейсатель, стендап-конюх, рифмовержец, феминист-ясный сокол, граф Эйякула, рэпер Сквиртонит
SAMA @caloique
1K Followers 4K Following Co-Founder @BoxyHQ | Security Building Blocks for Developers | Open-source APIs for Enterprise Single Sign-On, Directory Sync, Audit Logs & Data Privacy Vault
Alun Cennyth Stokes @AlunStokes
43 Followers 230 Following i talk too much about dessins d'enfants and complain too much about stupid things. Trying to study pure maths at McMaster. All opinions are elseone's. (He/Him)
Charisee Chiw @ChariseeChiw
282 Followers 241 Following Google person, nachos person, cat person, tech person
Joe Hendrix @joe_hendrix_fm
121 Followers 120 Following I write software. Principal Computer Scientist at SRI.
Jeff Fishburn @jefffishburn
1K Followers 2K Following Father husband, PR/marcom, tech from CTV advertising and cybersec to AR/VR/XR; outdoors, bowhunting athlete - First Lite R&D Pro, Leupold VIP, BHA #willfishhunt
Beers and Bytes Podca... @beersandbytes1
59 Followers 425 Following When you're thirsty for cheesy entertainment AND information security, grab a beer and the latest episode. https://t.co/np6ETdhfm5
Dejan Kosutic @Dejan_Kosutic
38K Followers 30K Following CEO at Advisera | Expert in cybersecurity management, ISO 27001, NIS2, and DORA.
ROGUE KIWI @NewZealandSims
3 Followers 127 Following I Collect Preactivated Sim Cards Offering Alternative or Burner Numbers for SMS verifications , Messengers & Socials Keep your Real number Private …
S.Morimoto @_smorimoto
434 Followers 364 Following From engineering to finance and back. Interested in AI Safety.
Jenny @LiXiaol32734992
24 Followers 141 Following I like traveling, music, movies, sports and meeting friends. Love is wonderful, it can make life happy, but you won't have a story if you don't take the initiat
M P @Speedy_Pollard
512 Followers 3K Following
Space Station 22 🛰... @SpaceStation22
25K Followers 5K Following Observe and communicate with the International Space Station and other satellites with our apps at https://t.co/pOqSEpW6Dc . Amateur radio sat operator. #ISS
Android AppSec (Kotli... @hpandro1337
1K Followers 5K Following We are building vulnerable applications using #Kotlin for education purposes #hpAndro 🏁 https://t.co/CDWDpr5xbv 🎥 https://t.co/mpKwPhklRn
Lysa Myers @LysaMyers
2K Followers 161 Following Security writer and researcher, privacy connoisseur. Mini-farmer, weed-eater. She/her @[email protected]
watchinghelplesslyhe @watchinghelple1
4 Followers 3K Following
Dr. Cherif /Shareef/ ... @TeimiCherif
129 Followers 1K Following Ph. D. in Linguistics/ Assistant Professor of English Language and Linguistics Author
Mike Dodds @miike
1K Followers 554 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
@COMPRISEH2020 @compriseh2020
464 Followers 1K Following Comprise #H2020 defines a fully #privacybydesign methodology and tools that will reduce the cost and increase the inclusiveness of #voiceinteraction technology
Hazel Weakly @hazelweakly
832 Followers 801 Following Account locked so the name isn't stolen. Consider this account deactivated. mastodon: @[email protected] bluesky: @hazelweakly.me
--- @Less__ndr
0 Followers 5K Following
Eugene @braginets
91 Followers 1K Following
senthilr @senthilr
84 Followers 3K Following
Christina Camilleri @0xkitty
6K Followers 913 Following
QCon Software Develop... @QCon
7K Followers 642 Following Uncover emerging trends and practices from the world’s most innovative software professionals to help you validate your software roadmap. Celebrating 18 years.
Amend Health @AmendHealth
107 Followers 361 Following It takes a village to amend today’s healthcare. Focused on rural / underserved care delivery, innovation, and investment.
Parisa Ataei, PhD @parisataei
102 Followers 297 Following FP, DSL, Type systems, Static analysis, Formal verification. Opinions my own. Food and lifting make me happy 🏋🏻♀️🤸🏻♀️☕️🧁🧇🍱🌮
Tripti Vishwakarma @23Tripti
188 Followers 528 Following
sky @sky91327390
47 Followers 3K Following
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
The FIDO Alliance @FIDOAlliance
14K Followers 6K Following The FIDO Alliance is changing the nature of online authentication.
Jeremy Grant @jgrantindc
2K Followers 221 Following Father, husband, Wolverine. Occasional deep thoughts on identity, cybersecurity, privacy, bourbon & music. MD @VenableLLP - all views my own.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
BikePortland @BikePortland
28K Followers 3K Following Human Powered News Since 2005. Tipline 503-706-8804 https://t.co/kQpc1PZUJc
vixentael 🛡🇺�... @vixentael
25K Followers 2K Following I do software security, security engineering and applied cryptography | problem-solver @cossacklabs | she | Ukraine
Matthew Green is on B... @matthew_d_green
150K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxZr2S.
Josh Baron @JoshuaWBaron
2K Followers 688 Following Former NSC director, DARPA PM, RAND researcher. All opinions are mine alone. Often distributed, rarely succinct.
Sophie Peel @sophiegreenleaf
4K Followers 1K Following City Hall and politics reporter @wweek. Holler: [email protected]
Portland Public Schoo... @PPSConnect
18K Followers 459 Following We are the largest school district in OR with a commitment to prepare 40,000 students to lead change & improve the world. #ForwardTogether #BlackLivesMatter
Michael Dorn @akaWorf
286K Followers 223 Following The Official Twitter Account of Michael Dorn aka Worf
Jeri Ryan @JeriLRyan
429K Followers 1K Following Actress, wife, mom, foodie, and gardener. Not necessarily in that order. https://t.co/1BOe735ZXk https://t.co/KkXhCyMElP @jerilryan.bsky.social
Cyrus O’Brien @CyrusJOBrien
492 Followers 1K Following Working for equality and against prisons & surveillance. Now @safeandjust. Fmrly @umich, @ReligPolitics, @ACLU, Mellon/ACLS Pub Fel, @splcenter, @fsujustice
Portland Fire & Rescu... @PDXFire
63K Followers 483 Following PF&R protects life, property & environment. Social media policies: https://t.co/QdusyoYNUs For emergencies call 9-1-1. Account not monitored at all hours.
Gul Dukat @realGulDukat
41K Followers 5K Following 45th & 47th President of the Federation @[email protected] https://t.co/MLm9f1PSLB #MakeCardassiaGreatAgain #DS9 #StarTrek
Robert Picardo @RobertPicardo
269K Followers 377 Following Actor, collectible, Planetary Society Board Member and host of The Planetary Post. https://t.co/w2u1NLFuCd
Tina Kotek @TinaKotek
30K Followers 322 Following Progressive Democrat. Oregon Governor. Committed to building a future of opportunity and justice for all Oregonians.
Jamil N. Jaffer @jamil_n_jaffer
5K Followers 4K Following Bush WH/DOJ + House Intel Cmte + Senate Foreign Relations Cmte; Now @PaladinCap + @MasonNatSec + @StanfordCISAC + VA Gov. AI Task Force
Signal @signalapp
595K Followers 23 Following Signal is an end-to-end encrypted messaging app. Privacy isn’t an optional mode, it’s just the way that Signal works. Every message, every call, every time.
Kinesis Keyboards @kinesisergo
8K Followers 3K Following Creators of the all-new mWave Mechanical Keyboard arriving Summer 2025 mWave | FORM | Advantage360 | Advantage2 | Freestyle2 | Freestyle Edge RGB | TKO
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Joe Hendrix @joe_hendrix_fm
121 Followers 120 Following I write software. Principal Computer Scientist at SRI.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Malia Spencer @PDXBizMalia
4K Followers 1K Following Tech, startups and entrepreneurs at the Portland Business Journal. Tips: mspencer at bizjournals dot com; or Signal, just ask. She/her
Stephanie Weirich @fancytypes
3K Followers 355 Following
thaddeus e. grugq @thegrugq
128K Followers 416 Following Hacker :: PhD researcher @warstudies @KingsCollegeLon :: [email protected] :: PGP https://t.co/dYipV8y3bo
Dan Olson @FoldableHuman
162K Followers 291 Following Albertan documentarian behind In Search of a Flat Earth, Line Goes Up, and The Future is a Dead Mall Not actually a duck [email protected]
Jeff Fishburn @jefffishburn
1K Followers 2K Following Father husband, PR/marcom, tech from CTV advertising and cybersec to AR/VR/XR; outdoors, bowhunting athlete - First Lite R&D Pro, Leupold VIP, BHA #willfishhunt
Daniel J. Bernstein @hashbreaker
22K Followers 24 Following Designing cryptography (deployed now: X25519, Ed25519, ChaCha20, sntrup, Classic McEliece) to proactively reduce risks. Coined phrase "post-quantum" in 2003.
Cory Doctorow NONCONS... @doctorow
472K Followers 3K Following New book: ENSHITTIFICATION: WHY EVERYTHING SUDDENLY GOT WORSE AND WHAT TO DO ABOUT IT https://t.co/YtuuAC6GPZ @[email protected]
lcamtuf @lcamtuf
38K Followers 498 Following Substack: https://t.co/yFvmNisGW3 Homepage: https://t.co/iFAXZxCO5H
ConcernedApe @ConcernedApe
1.4M Followers 94 Following creator of Stardew Valley -- working on "Haunted Chocolatier"
Оlga Belogolova 🌻 @olgs7
8K Followers 2K Following Director of Emerging Tech @SAISHopkins, teach disinfo/IO. Frmr @Meta IO Policy Lead/ Journalist @atlanticmedia. RT≠endorsement. Views my own. Mostly on Threads
The church of #%$! @archwisp
2K Followers 667 Following Hardware hacker, DJ, organizer, goon, general scoundrel. Founding member of @sec_kc. DC480 organizer. Opinions are gospel. he/him
Ray [REDACTED] @RayRedacted
67K Followers 8K Following Hacker, Researcher, Podcast Producer (Tribe of Hackers, Darknet Diaries). Proud dad of the fastest climber in the world. Ever. “Ut scandis, alios subleva”
gabsmashh @gabsmashh
107K Followers 3K Following security strategist | 2L JD Candidate | NYU alum | UMGC adjunct professor | USMC & USCG auxiliarist
WP Engine Support @WPESupport
9K Followers 353 Following Award-winning support from @WPEngine. We're dedicated to helping you win online.
Pauline Anthonysamy, ... @panthonysamy
347 Followers 272 Following Privacy Engineer @Google. This personal account does not speak on behalf of my affiliations. Tweets are mainly about my doggo and Android
April King 🌀 @CubicleApril
19K Followers 342 Following Staff Security Engineer @ Dropbox, previously Mozilla, Twitter. mastodon @ [email protected]. Union Park District Council board member.
Chelsea Komlo @chelseakomlo
7K Followers 601 Following (Real world) cryptographer. Also at https://t.co/wLuY5u3XNo
Lea Kissner @LeaKissner
24K Followers 373 Following (Now former) CISO @Twitter. Privacy eng, security, crypto & build respect. they/them Trying out @[email protected]
Duane Blackburn @dmblackburn
216 Followers 136 Following Center for Data-Driven Policy @MITREcorp. Prior Asst Director @WHOSTP (43 & 44), @FBI, @OJPNIJ & @DeptofDefense. #UtProsim #FedID
monzy merza @monzymerza
1K Followers 227 Following Building the Knowledge Engine for Security Operations Co-founder, CEO, Crogl, Inc.
Jenna McLaughlin @JennaMC_Laugh
36K Followers 4K Following @NPR cybersecurity correspondent. 🎤🤖 Was: @YahooNews, @CNN, @ForeignPolicy etc. Email: [email protected]
Pamela Dingle @pamelarosiedee
6K Followers 5K Following All your $5 wrenches are belong to me. Director of Identity Standards @ MSFT. Paranoid Optimist. (she/)Her opinions. See #ViewFromtheWindowSeat
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
Sergio Olmos @MrOlmos
91K Followers 3K Following Investigative reporter @CalMatters | Winner of no awards | [email protected] | signal: sergioolmos.71 | 🇲🇽Trends for United States
You might like
