· @idw_online
445 followers · 9802 posts · Server idw-online.social
Groundbreaking research project "Ecosystem Trustworthy IT" #EvIT plans provable #ITSecurity through #FormalVerification.
#Cybersecurity #FormalMethods #CybersecurityByDesign #KRITIS #Cybersecurity
https://nachrichten.idw-online.de/2023/09/11/demonstrable-it-security-through-formal-verification
#evit #ITSecurity #formalverification #CyberSecurity #formalmethods #cybersecuritybydesign #kritis
Louise Dennis · @louiseadennis
116 followers · 104 posts · Server mstdn.socialI have two Research Associate jobs going!
Assurance for Robotic and Autonomous Systems: https://www.jobs.manchester.ac.uk/Job/JobDetail?isPreview=Yes&jobid=26210&advert=external
Agent Programming for Digital Security and Trust: https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=26002
#AcademicJobs #AutonomousSystems #FormalVerification #TrustworthyAI
#TrustworthyAI #formalverification #autonomoussystems #academicjobs
szakib · @szakib
171 followers · 8241 posts · Server freeradical.zoneThis is going to be a game-changer when it gets to civilian hands.
#FormalVerification #LegacyCode
#ReverseEngineering
https://www.theregister.com/2023/08/18/darpa_legacy_binary_patching/
#formalverification #legacycode #reverseengineering
José A. Alonso · @Jose_A_Alonso
843 followers · 1735 posts · Server mathstodon.xyz
Applying GPT-4 to SAW formal verification. ~ Adam Karvonen. https://galois.com/blog/2023/08/applying-gpt-4-to-saw-formal-verification/ #AI #GPT4 #FormalVerification
José A. Alonso · @Jose_A_Alonso
729 followers · 1298 posts · Server mathstodon.xyz
A new era in software security: Towards self-healing software via Large Language Models and formal verification. ~ Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro. https://arxiv.org/abs/2305.14752 #LLMs #FormalVerification
Yaroslav Khnygin · @surabax
39 followers · 282 posts · Server mastodon.ie
Interesting: https://github.com/acl2/acl2/tree/master/books/rtl
"This directory contains an ACL2 library of register-transfer logic, developed at #AMD from 1995 to 2011, at #Intel from 2012 to 2016, and at #Arm from 2016 to the present, in support of the mechanical verification of floating-point arithmetic units designed during those periods by the respective companies."
For those who don't know, #ACL2 is a theorem prover in #CommonLisp.
#Lisp #FormalVerification #RTL #HardwareEngineering #Semiconductors
#amd #intel #arm #acl2 #commonlisp #lisp #formalverification #rtl #hardwareengineering #semiconductors
Daniel Grosse · @Daniel_Grosse
9 followers · 13 posts · Server fosstodon.org
LisPi · @lispi314
331 followers · 4935 posts · Server mastodon.top#FStar is pretty cool and doesn't afraid of anything.
It seems not to get mentioned much on the #Fediverse
#Security #LanguageBasedSecurity #FormalVerification #Proof #Programming
#fstar #fediverse #security #languagebasedsecurity #formalverification #proof #programming
Fabián Heredia 🌹 ☭ · @fabianhjr
752 followers · 1545 posts · Server sunbeam.cityHey #FormalVerification folk,
what's the best language to do exploratory designs?
TLA+, Alloy or Another?
Hove gone trough the getting started on both TLA+ and Alloy but really unsure which one to use.
Daniel Grosse · @Daniel_Grosse
6 followers · 8 posts · Server fosstodon.org
Woohoo! Our book, "Formal Verification of Structurally Complex Multipliers," has officially arrived in hardcover format! After putting in years of work, it's an indescribable feeling to finally have the physical copy in my hands.
More information: https://link.springer.com/book/10.1007/978-3-031-24571-8
#SymbolicComputerAlgebra #SCA #FormalVerification #Circuits #Hardware #Springer
#symboliccomputeralgebra #sca #formalverification #circuits #hardware #springer
@patentkinetics · @patentkinetics
2 followers · 32 posts · Server mastodon.world#Adobe, #blockchains, #distributedledgers, #formalverification, #IBM, #patents, #proofs, #smartcontracts
IBM and Adobe Smart Contract and Blockchain Patents (Managing Rights Management)
https://bit.ly/3kg9qup
#adobe #blockchains #distributedledgers #formalverification #IBM #patents #proofs #SmartContracts
Frederic Jacobs · @fj
3509 followers · 375 posts · Server mastodon.social
Gluing together Hacspec, Jasmin and SSProve using Coq for end-to-end verification, from spec to implementation.
It's great to see more integration efforts between formal verification stacks to improve confidence that implementations still satisfy all higher-level security properties.
José A. Alonso · @Jose_A_Alonso
557 followers · 483 posts · Server mathstodon.xyzLessons from formally verified deployed software systems. ~ Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege. https://arxiv.org/abs/2301.02206 #FormalVerification
José A. Alonso · @Jose_A_Alonso
557 followers · 481 posts · Server mathstodon.xyzGenerating proof certificates for a language-agnostic deductive program verifier. ~ Zhengyao Lin et als. https://xchen.page/assets/pdf/LCT+23-paper.pdf #FormalVerification
Jason Bowen · @jbowen
200 followers · 174 posts · Server mast.hpc.socialModular Formal Verification of Rust Programs with Unsafe Blocks
Nima Rahimi Foroushaani, Bart Jacobs
Sebastian Jester · @cyberjestr
8 followers · 2 posts · Server ioc.exchangeHallo Fediverse! Da auf der anderen Plattform der Absolutismus um sich greift, schaue ich mich mal hier bei den Föderierten um. Hier soll es um #Cybersicherheit gehen und mit welchen Technologien wir die IT von morgen deutlich widerstandsfähiger machen. Aktuell schaue ich mir formale Verifikation und allgemeiner isolierende Mikrokerne an. Da gibt es viel zu gewinnen. #formalVerification #microkernel
#cybersicherheit #formalverification #microkernel
The Bear Leftist · @harryprayiv
12 followers · 23 posts · Server mstdn.social#Introduction
I’m a #father, a #filmmaker, dabbler in #engineering of many types.
Technologically, my interests lie in the bleeding edge of possibility wherever I see it.
#nixos #nixflakes #foss
#haskell #GHC #dependentlytyped #dependenttypes #functionalprogramming
#plutus #cardano #smartcontracts #formalmethods #formalverification
#idris #swift #arduino #riscv #Rust
#decentralization #parallelization #biomimicry #buddhism #leftist
#cinelighting #cinematography
#anarchosyndicalism #science
#Science #anarchosyndicalism #cinematography #cinelighting #leftist #buddhism #biomimicry #parallelization #decentralization #Rust #riscv #Arduino #swift #idris #formalverification #formalmethods #smartcontracts #cardano #Plutus #functionalprogramming #dependenttypes #dependentlytyped #ghc #haskell #FOSS #nixflakes #nixos #engineering #filmmaker #father #Introduction
Steve Easterbrook · @steve
1112 followers · 462 posts · Server fediscience.orgA fuller #introduction.
My PhD was in software systems analysis: how to handle poorly understood, conflicting system requirements (#RequirementsEngineering)
This led me to explore socio-cognitive processes of large teams (#DistributedCognition, #STS, #Ethnography)
I have worked for NASA studying software safety for spacecraft (#FormalVerification, #OrganizationalBehaviour)
Now I study #ClimateModels + do #ClimateData analytics, using all the above, plus #SystemsThinking, #DataScience, & #ML
#ml #datascience #systemsthinking #climatedata #climatemodels #OrganizationalBehaviour #formalverification #ethnography #sts #DistributedCognition #requirementsEngineering #introduction
Daniel Amyot · @damyot
27 followers · 3 posts · Server fediscience.org
Yes, one can do #formalverification on legal #contract specifications using our language (#Symboleo) and model-checking (in #nuXmv)!
See our MODELS'22 paper on "Model-Checking Legal Contracts with SymboleoPC" (https://lnkd.in/e-9K4A5D), which is a bit part of the recent thesis of Dr. Alireza Parvizimosaed (https://lnkd.in/eUuMSMf8).
Get the paper from https://lnkd.in/e-9K4A5D (freely available for a few weeks I believe), and spread the word!
#nuXmv #Symboleo #contract #formalverification
Raúl Pardo · @raulpardo
22 followers · 8 posts · Server fediscience.org
On the importance of #formalmethods and #formalverification in software development :)
#formalverification #formalmethods