sfba.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for the San Francisco Bay Area. Come on in and join us!

Server stats:

2.3K
active users

#verification

3 posts3 participants1 post today

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

strath.ac.uk/studywithus/postg

www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde

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

Reykjavik, Iceland
27 September – 3 October 2025

icetcs.github.io/frocos-itp-ta

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

icetcs.github.ioITP '25

#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

arstechnica.com/gadgets/2025/0

Ars Technica · Google plans to stop using insecure SMS verification in GmailBy Ryan Whitwam

@jdst258

Yeah, I just really didn't care

I know who I am, and I didn't even bother Smugmug tech support with the issue

Point is really that you may be able to edit the html on a web site, but the site's protocols don't accept it for whatever reason

Oh, and another thing: the link effect does *not* show up instantly. Hours, maybe, for some reason. Probably not until the verifier bot makes its next pass

Mastodon question.

Is anyone familiar with ?

I get how to use the code snippet to link my account and website for verification, but I want the Mastodon profile link to lead to my site's main page.

I put the link in the footer text, but it seems the theme's full screen home page option doesn't show a footer.

I wonder if there's a way to put the link on the page invisibly? Maybe I'd have to go into the child theme's code to do that?

We need to talk about: and . Mastodon is decentralized, so there is no single agency that can verify the authenticity of an account. However, there are tools account holders can use to validate an individual's identity. The mastodon platform allows for verified links in the user profile: docs.joinmastodon.org/user/pro

If you see a potentially popular account on here, please ensure they have _at least_ one of the following before treating it as legitimate:

docs.joinmastodon.orgSetting up your profile - Mastodon documentationGet started with your new account.

@jhpot For all of these reasons I wish Mastodon would enable a true protocol. The existing 'link verification' doesn't do that, it only verifies that you control the Mastodon account and the web account, it does not say anything about identity.
I'm not a technologist, but I know there are smart people with the skills and knowledge to pull it off. It would benefit everyone, not just the verified but the rest of us who could be confident in those accounts.