Have you ever walked into a bar and the bartender says "Sorry, we need independent verification before serving you."
#Verification #Cybersecurity #Bartender
https://wadebach.blackcatwhitehatsecurity.com

List of fact-checking websites

Dozens of services for checking news information (both political and non-political) for different countries and regions.

https://en.wikipedia.org/wiki/List_of_fact-checking_websites

A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib

This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.

Deadline for getting in contact is: Thursday 20th March 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/

Call for Papers
16th International Conference on Interactive Theorem Proving — ITP'25

Reykjavik, Iceland
27 September – 3 October 2025

https://icetcs.github.io/frocos-itp-tableaux25/itp/

ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.

- Abstract submission deadline: 12 March 2025
- Paper submission deadline: 19 March 2025
- Author notification: 23 May 2025
- Camera-ready copy due: 27 June 2025

Multi-Agenten-Verifikation: KI prüft sich selbst

Agenten testen gegenseitig
Fehlererkennung in Echtzeit
Verbesserte Systemstabilität

#ai #ki #artificialintelligence #kuenstlicheintelligenz #multiagentensysteme #verification

https://kinews24.de/multi-agent-verifikation/

#Google plans to stop using insecure #SMS #verification in #Gmail

SMS messages are delivered by mobile carriers without #encryption, and they often go through intermediaries that can be compromised without your knowledge. Even if the line is secure, phone numbers have very little in the way of #security.
#2fa #privacy

https://arstechnica.com/gadgets/2025/02/google-plans-to-stop-using-insecure-sms-verification-in-gmail/

Essential reading: Paul M. Barrett's meta article on fact-checking for the Tech Policy Blog.

After providing a short history of the discipline, he goes on to debunk three myths, namely that

...fact-checking censors free speech...
...is biased against conservatives...
...and just doesn't work.

https://www.techpolicy.press/some-facts-about-fact-checking-defending-the-imperfect-search-for-truth-in-an-era-of-institutionalized-lying/

#facebook #markzuckerberg #socialmedia #factchecking #verification
I stopped using FB years ago after seeing photos of western “hunters” happily posing with high powered rifles and dead lions, giraffes and antelopes they’d killed on safari and posted on FB. After complaining to FB and realising no one really cared, I realised I didn’t care about FB either and deactivated my account.
I’ve never missed it, and never will.

Facebook and Instagram get rid of fact checkers https://www.bbc.com/news/articles/cly74mpy8klo

Interesting story from @tedium about an extortion scheme targeting prominent personalities on Bluesky who don't own their own domain.

"Cybersquatting is not a new issue, of course, but Bluesky’s decision to tie verification to domains as social proof shows the limitations of the strategy."

https://tedium.co/2024/12/17/bluesky-impersonation-risks/

I wonder how this would play out in the fediverse.

#relme #verification
I wonder why large news organisations do not use rel="me" -
most use at least schema.org

publisher: {
"@type": "Organization",
logo: "https://cdn.prod.www.spiegel.de/public/spon/images/logos/der-spiegel-h60.png",
name: "DER SPIEGEL",
sameAs: [
"https://www.facebook.com/derspiegel",
"POTENTIAL_FEDI_URL"
]
}

Would you consider if above
"mainEntityOfPage" is the same like the canonical URL
and
any fedi profile links to this URL

that this is something like a
"verified publisher" relation ?

South Korea probes Upbit for 600K KYC violations - Due to the alleged KYC violations, Upbit reportedly faces fines of $71,5... - https://cointelegraph.com/news/upbit-kyc-violations-license-renewal-south-korea #anti-moneylaunderinglaws #cryptocurrencyexchange #knowyourcustomer #moneylaundering #verification #southkorea #upbit #kyc #aml #ids

Readings shared October 25, 2024. https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24 #ITP #LeanProver #IsabelleHOL #Math #Prolog #ASP #CLP #LogicProgramming #LLMs #GenerativeAI #Rust #Verification

Verifying the Rust Standard Library. ~ Rahul Kumar et als. https://www.soundandcomplete.org/vstte2024/vstte2024-invited.pdf #Rust #Verification

#Webinar note: On October 29th at 11:00 (CET), members of the veraAI project will discuss their work on AI-based audio verification tools – which are about to play an important role in the fight against disinformation and unlabeled synthetic media.

EBU people and associates (and basically all media professionals) are welcome to join (after registration with a company email address, that is).

Details over here:

https://tech.ebu.ch/events/2024/veraai-audio-tools-to-counter-disinformation

#Worldcoin rebrands as ‘World,’ unveils next generation #Orb

The #blockchain #identity #verification project also announced new verification methods.
#privacy #biometrics

https://cointelegraph.com/news/worldcoin-rebrands-world-unveils-next-generation-orb