Eerke Boiten's Avatar

Eerke Boiten

@eerkeboiten

Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him. Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.

737
Followers
582
Following
1,572
Posts
05.11.2024
Joined
Posts Following

Latest posts by Eerke Boiten @eerkeboiten

Video thumbnail

Republicans are using kids as a smokescreen for what Big Tech lobbyists want: a national surveillance program to harvest our data with zero protections for people and their privacy.

We must fight this dangerous expansion of surveillance technology.

05.03.2026 20:45 ๐Ÿ‘ 2224 ๐Ÿ” 835 ๐Ÿ’ฌ 36 ๐Ÿ“Œ 26

He only quit the Greens after he was suspended for transphobia. A matter of days ago, he was claiming that the Greens want to dish out "puberty blockers like confectionery."

What despicable little man.

06.03.2026 14:23 ๐Ÿ‘ 266 ๐Ÿ” 62 ๐Ÿ’ฌ 5 ๐Ÿ“Œ 2
Lecturer / Senior Lecturer in Law and Data Governance | King's College London

This looks like a great opportunity for someone working on data governance, to lead the Data Empowerment Clinic at King's: www.kcl.ac.uk/jobs/139965-...

06.03.2026 11:20 ๐Ÿ‘ 0 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

"Families of failed asylum seekers will be offered up to ยฃ40,000 to leave the UK under a trial scheme announced by Home Secretary Shabana Mahmood."

Previously, on the "Island of strangers"...

06.03.2026 07:55 ๐Ÿ‘ 140 ๐Ÿ” 61 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 17

What a line up. The cheaters of 2006, 2010 and 2022 with Trump.

05.03.2026 23:57 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

"British female track and field athletes are being asked to cover the cost of their own ยฃ185 sex tests if they want to compete internationally"

A tax on women courtesy of the Gender Critical.

You know feminism /s ๐Ÿ™„

archive.is/2026.03.05-1...

05.03.2026 22:54 ๐Ÿ‘ 1009 ๐Ÿ” 384 ๐Ÿ’ฌ 29 ๐Ÿ“Œ 30
Post image

Out now! Morganโ€™s Formal Methods, Informally | An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs.
Find out more: โ˜‘๏ธ https://cup.org/4rMx5A4

03.03.2026 16:00 ๐Ÿ‘ 4 ๐Ÿ” 3 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
UK high streets turn to facial recognition in fight against shoplifting Theft and threats against shop floor workers have risen sharply since the Covid-19 pandemic

Parliament should take steps to ban this technology. There is no good and proportional reason to allow private companies to analyse and store people's biometric data, especially without notice or consent.
www.ft.com/content/adb3...

05.03.2026 22:04 ๐Ÿ‘ 32 ๐Ÿ” 15 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 2
Preview
The Pro-Human AI Declaration The Pro-Human AI Declaration

Hey all, sorry to say this, as I think I have well-intentioned friends who signed, but this "declaration" means nothing. Because Steve Bannon signed it, and he wants my family dead. So if you can sign along side him? At best, you got played. He's the "humanity in control". humanstatement.org

05.03.2026 06:50 ๐Ÿ‘ 517 ๐Ÿ” 138 ๐Ÿ’ฌ 18 ๐Ÿ“Œ 10
Google AI attributing the Noem quote to Orwell, Feb 2024.

Google AI attributing the Noem quote to Orwell, Feb 2024.

The reason so many people challenge this quote is because they probably stopped paying attention to Orwell after his 1984 master piece, he said this 40 years later.

05.03.2026 20:50 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
 This article was amended on 5 March 2026. An earlier version said low-skilled workers would โ€œreceive immediate access to welfare and social housingโ€ if Labour did not make them wait longer to apply for settlement. In fact, settlement status only gives people the eligibility to apply for welfare and social housing, it does not give them instant or automatic access to such benefits. This has been clarified.

From breaking news to huge investigative proje

This article was amended on 5 March 2026. An earlier version said low-skilled workers would โ€œreceive immediate access to welfare and social housingโ€ if Labour did not make them wait longer to apply for settlement. In fact, settlement status only gives people the eligibility to apply for welfare and social housing, it does not give them instant or automatic access to such benefits. This has been clarified. From breaking news to huge investigative proje

Guardian has now [after my complaint] corrected Mahmood's deliberate & incendiary false claim settlement gives immigrants "immediate access to welfare and social housing".

Good for Gdn but embarrassing/shameful that Home Secretary deliberately misled the public for political gain like this.

05.03.2026 16:45 ๐Ÿ‘ 610 ๐Ÿ” 257 ๐Ÿ’ฌ 21 ๐Ÿ“Œ 15
Dear Shabana,
I notice today that you referred to me in your speech on immigration at the IPPR think tank.
You said: โ€œA party leader should not be on the beaches of France encouraging people to
make a perilous crossing on small boats.โ€
I suppose I shouldnโ€™t be surprised especially after the hateful Labour campaign in Gorton
and Denton, but this is just the latest in a string of lies peddled by a discredited Government
who intentionally fan the flames of racism and division.
When I went to Calais, I was not there to encourage people to travel to the UK. I was there
to see at first hand the suffering your Government and successive Governments have done
in demonising migrants in a pathetic bid to pander to the base instincts of Reform and the
flawed strategy of Morgan McSweeney.
As you will know, if you even bothered to research my visit instead of taking Reform talking
points, I was there to witness the brutality of families living in tents in freezing temperatures. I
filled water tanks and picked up litter.
What that visit did do is confirm my belief that if we are to smash the boat gangs and stop
the boats, we need to offer safer and managed routes for migrants to come to this country.
Showing compassion as a politician is not a crime. In fact, we need to see much more of it.
It reminded me of a young MP who in October 2015 spent three days in Lesbos helping
migrants fleeing war-torn Syria. She posted videos on X, talked about handing out water and
croissants to refugees and food parcels.
When she returned to the UK, she wrote a very moving piece in the New Statesman. She
said โ€œwe have to work with our European partners and create new, safe, and legal routes for
refugees to get to Europe. We cannot abandon them to their fate, left as prey for smugglers
whilst risking death on the seas.โ€
She said โ€œmaybe we can make ourselves feel better by saying no-one is making them get on
the boats. And again, the Home Secretary is not entirely wrong when โ€ฆ

Dear Shabana, I notice today that you referred to me in your speech on immigration at the IPPR think tank. You said: โ€œA party leader should not be on the beaches of France encouraging people to make a perilous crossing on small boats.โ€ I suppose I shouldnโ€™t be surprised especially after the hateful Labour campaign in Gorton and Denton, but this is just the latest in a string of lies peddled by a discredited Government who intentionally fan the flames of racism and division. When I went to Calais, I was not there to encourage people to travel to the UK. I was there to see at first hand the suffering your Government and successive Governments have done in demonising migrants in a pathetic bid to pander to the base instincts of Reform and the flawed strategy of Morgan McSweeney. As you will know, if you even bothered to research my visit instead of taking Reform talking points, I was there to witness the brutality of families living in tents in freezing temperatures. I filled water tanks and picked up litter. What that visit did do is confirm my belief that if we are to smash the boat gangs and stop the boats, we need to offer safer and managed routes for migrants to come to this country. Showing compassion as a politician is not a crime. In fact, we need to see much more of it. It reminded me of a young MP who in October 2015 spent three days in Lesbos helping migrants fleeing war-torn Syria. She posted videos on X, talked about handing out water and croissants to refugees and food parcels. When she returned to the UK, she wrote a very moving piece in the New Statesman. She said โ€œwe have to work with our European partners and create new, safe, and legal routes for refugees to get to Europe. We cannot abandon them to their fate, left as prey for smugglers whilst risking death on the seas.โ€ She said โ€œmaybe we can make ourselves feel better by saying no-one is making them get on the boats. And again, the Home Secretary is not entirely wrong when โ€ฆ

Dear Shabana,

Let's clear some things up around migration and remember we're talking about people's lives.

05.03.2026 16:59 ๐Ÿ‘ 4842 ๐Ÿ” 1770 ๐Ÿ’ฌ 250 ๐Ÿ“Œ 338

8 years ago I could do amateur talks about AI ethics with the opening that the crisis was the coming together of abandonment of responsibility in two dimensions: "big" data and "algorithms" ...

05.03.2026 20:38 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
ICO writes to Meta over 'concerning' AI smart glasses report Videos, including of glasses-wearers using the toilet or having sex, are sometimes reviewed by a Kenya-based subcontractor.

Last year when I was checking into a hotel, the desk person was wearing Meta glasses. I kindly asked them to take them off. They were annoyed. I said, โ€œI do not consent to you looking at my credit card and ID with Meta glasses on.โ€ My instincts were correct: www.bbc.com/news/article...

05.03.2026 15:27 ๐Ÿ‘ 5930 ๐Ÿ” 2381 ๐Ÿ’ฌ 90 ๐Ÿ“Œ 182

Suspicious, not aware that Michael Gove knows anything about AI. You already know that their reporting on you is in bad faith. I wouldn't.

05.03.2026 12:51 ๐Ÿ‘ 9 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

If access to comms and/or location data, possibly in unstructured text form, possibly in overwhelming quantities, LLMs could contribute to doxing of some sorts - guessing addresses of target persons and their associates. (But I agree with @jackstilgoe.bsky.social on offloading responsibility.)

05.03.2026 10:49 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Israel Defence Forcesโ€™ response to claims about use of โ€˜Lavenderโ€™ AI database in Gaza Statement issued after six Israeli intelligence sources speak out about AI use in Gaza war

Maybe a side branch but I went back to the "IDF using AI for identifying targets" story - a system called Lavender but IDF denies it's AI ("just a database" www.theguardian.com/world/2024/a...) and others call it an AI Decision Support System, not necessarily LLM then brill.com/view/journal....

05.03.2026 10:45 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

Yeah nice but to some (the bodily autonomy police) the main goal is to socially isolate and eliminate trans kids and others by removing their online support networks. "Social contagion".

05.03.2026 09:34 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

"would otherwise receive immediate access to welfare and social housing" is BS.

Correct: "after 5 years working in a care home, would be eligible to apply for welfare and social housing on the same basis as the rest of us."

www.theguardian.com/commentisfre...

Deliberately misleading/disingenous.

05.03.2026 08:11 ๐Ÿ‘ 424 ๐Ÿ” 177 ๐Ÿ’ฌ 32 ๐Ÿ“Œ 20

There is just something deeply disturbing and offensive about watching a Labour govt keep kicking the most vulnerable in our society.

05.03.2026 00:31 ๐Ÿ‘ 506 ๐Ÿ” 148 ๐Ÿ’ฌ 18 ๐Ÿ“Œ 4
Never received a.

A quick note on that new "AI declaration", which is mostly just a bit clueless but which also assembled some of the most vile people on the planet for a bunch of scientists and activists to put there name next to.

https://tante.cc/2026/03/05/nothing-to-declare/

04.03.2026 23:16 ๐Ÿ‘ 107 ๐Ÿ” 32 ๐Ÿ’ฌ 5 ๐Ÿ“Œ 19
I refer you to the text of my Stage 1a and Stage 1b points which I adopt without repeating.

Laura Kuenssberg said โ€œAttention's focused on who should be able to access single-sex spaces, like changing rooms. The Supreme Court said in April that it was biological sex, not a trans person's chosen gender, that should determine the answer.โ€

Her statement is (1) wrong and also (2) wrong in a profoundly important way. 

That it is (1) wrong is evident from an interview published with Lord Hodge, the presiding Supreme Court judge in that decision. In The Times on 12 September 2025 he said:

"Hodge, who presided over the case with two female justices, defended the decision and pointed out that the case before the court had nothing to do with how or where single-sex spaces should be created. 'These points werenโ€™t argued before us,' he said. 'We were not there to decide points that were not put to us or were not raised in the course of argument, because we hadnโ€™t heard each sideโ€™s position on it.'"

His point, which is also evident from the Supreme Courtโ€™s Press Summary (https://supremecourt.uk/uploads/uksc_2024_0042_press_summary_8a42145662.pdf), is that what the Supreme Court decided was what "man" "woman" and "sex" meant in the Equality Act.

I refer you to the text of my Stage 1a and Stage 1b points which I adopt without repeating. Laura Kuenssberg said โ€œAttention's focused on who should be able to access single-sex spaces, like changing rooms. The Supreme Court said in April that it was biological sex, not a trans person's chosen gender, that should determine the answer.โ€ Her statement is (1) wrong and also (2) wrong in a profoundly important way. That it is (1) wrong is evident from an interview published with Lord Hodge, the presiding Supreme Court judge in that decision. In The Times on 12 September 2025 he said: "Hodge, who presided over the case with two female justices, defended the decision and pointed out that the case before the court had nothing to do with how or where single-sex spaces should be created. 'These points werenโ€™t argued before us,' he said. 'We were not there to decide points that were not put to us or were not raised in the course of argument, because we hadnโ€™t heard each sideโ€™s position on it.'" His point, which is also evident from the Supreme Courtโ€™s Press Summary (https://supremecourt.uk/uploads/uksc_2024_0042_press_summary_8a42145662.pdf), is that what the Supreme Court decided was what "man" "woman" and "sex" meant in the Equality Act.


The decision clearly has very important implications for single sex spaces. But those implications are not settled and are still being worked out in the Courts. This is evident from the fact that there have been three employment tribunal cases which have gone in different directions on single sex spaces in the workplace. Moreover, in GLP v EHRC [2026] EWHC 279 (Admin) at paragraph 61 the High Court recognised outside the workplace that permitting trans women to use the  โ€œfemaleโ€ lavatory whilst requiring other biological men to use the male lavatory could be lawful. 

It also cannot be ignored that the Supreme Court itself said โ€œwe have concluded that a biological sex interpretation would not have the effect of disadvantaging or removing important protection under the EA 2010 from trans peopleโ€.

It is entirely wrong to say, as Kuenssberg did, that the implications of For Women Scotland for single sex spaces were settled by the Supreme Court decision.

It is (2) wrong in a profoundly important way because Laura Kuenssbergโ€™s false statement gives the impression to the schools and employers and service providers who are seeking to comply with the law in a compassionate and inclusive fashion that they have no choice but to exclude trans people from single sex spaces. That is simply not what the Supreme Court decided - as Lord Hodge, the Presiding Judge, made clear.

The decision clearly has very important implications for single sex spaces. But those implications are not settled and are still being worked out in the Courts. This is evident from the fact that there have been three employment tribunal cases which have gone in different directions on single sex spaces in the workplace. Moreover, in GLP v EHRC [2026] EWHC 279 (Admin) at paragraph 61 the High Court recognised outside the workplace that permitting trans women to use the โ€œfemaleโ€ lavatory whilst requiring other biological men to use the male lavatory could be lawful. It also cannot be ignored that the Supreme Court itself said โ€œwe have concluded that a biological sex interpretation would not have the effect of disadvantaging or removing important protection under the EA 2010 from trans peopleโ€. It is entirely wrong to say, as Kuenssberg did, that the implications of For Women Scotland for single sex spaces were settled by the Supreme Court decision. It is (2) wrong in a profoundly important way because Laura Kuenssbergโ€™s false statement gives the impression to the schools and employers and service providers who are seeking to comply with the law in a compassionate and inclusive fashion that they have no choice but to exclude trans people from single sex spaces. That is simply not what the Supreme Court decided - as Lord Hodge, the Presiding Judge, made clear.

And this is the renewed complaint I have today made to the BBC's Executive Complaints Unit.

The BBC, an important cause of the rising tide of transphobia that shames the United Kingdom, is unlikely to correct its mistake.

So we will then look to what further remedies we have.

04.03.2026 17:15 ๐Ÿ‘ 163 ๐Ÿ” 29 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Preview
TikTok says it won't encrypt DMs claiming it puts users at risk TikTok tells the BBC it won't join rival platforms such as WhatsApp and Messenger in using end-to-end encryption.

There's nothing controversial about E2EE.

Unless you think it's controversial for private conversations to be.... private?

www.bbc.co.uk/news/article...

04.03.2026 16:01 ๐Ÿ‘ 11 ๐Ÿ” 11 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

"The UK lost its measles elimination status before we did"

04.03.2026 15:45 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

whatever else we do

we need to make it illegal for chatbots to call themselves "i," "me," and otherwise pretend to be people

it's not innate to llms -- it's part of the interface layer between the user and the statistical model

and it can be gotten rid of

04.03.2026 14:51 ๐Ÿ‘ 170 ๐Ÿ” 39 ๐Ÿ’ฌ 8 ๐Ÿ“Œ 3

Your prompt doesn't even have to scan :)

04.03.2026 14:29 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Iran war heralds era of AI-powered bombing quicker than โ€˜speed of thoughtโ€™ Speed and scale of US militaryโ€™s AI war planning raises fears human decision-making may be sidelined

Anthropic and Palantir tech was used by the US military to target lethal strikes in Iran www.theguardian.com/technology/2...

04.03.2026 12:57 ๐Ÿ‘ 8 ๐Ÿ” 8 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Preview
Flagship Harry Potter store to open on Londonโ€™s Oxford Street British outlet for the Hogwarts-adjacent โ€˜interactive retail experienceโ€™ will include recreated film locations, as well as โ€˜photo momentsโ€™ and merch

The Guardian is promoting a commercial enterprise the profits from which will be used to harass, exclude and victimise one of the most vulnerable groups in the country.

04.03.2026 11:21 ๐Ÿ‘ 442 ๐Ÿ” 118 ๐Ÿ’ฌ 27 ๐Ÿ“Œ 17
Post image Post image

Brilliant. An expat im Dubai has a startling revelation, by @stephencollins.bsky.social

03.03.2026 19:20 ๐Ÿ‘ 1436 ๐Ÿ” 508 ๐Ÿ’ฌ 20 ๐Ÿ“Œ 15