Robert Sison (@[email protected])

Formal methods researcher with a PhD on proving information-flow security in the presence of concurrency. Ex-industry. 🏳️‍🌈🏳️‍⚧️ NB (any pronouns)

[Robert Sison (@[email protected]) @robs_cse]

While SDF sorts out the issues with their Mastodon server, find me on @[email protected] for now (https://t.co/NLot4qYK9l)

[Ben Rubinstein @bipr]

Streisand Effect in action!

[Toby Murray @tobycmurray]

For anyone still here, I’m now at @[email protected]

Much thanks to @alexstamos and team, especially for the honest privacy policy :)

[Robert Sison (@[email protected]) @robs_cse]

@jer_gib @tobycmurray @nuclearpidgeon While I'm sympathetic to wanting a functional replacement for such things to want to migrate, I definitely don't trust that my DMs are private on Mastodon. But then, I no longer trust they're private on Twitter either - I now don't really see a difference between the two on this.

[Robert Sison (@[email protected]) @robs_cse]

@tobycmurray While I appreciate how all this has made explicit the question of trust in the operators of each social media website, it was the question of whether I trust them more than the owner and moderators of Twitter that made it easy for me to move without full answers to such questions

[Robert Sison (@[email protected]) @robs_cse]

@MarcoGuarnier1 @cis_unimelb @UNSWCOMPUTING @buckdotly @tobycmurray @lsf37 @GernotHeiser Thanks Marco. The accepted version of our paper is now available here: https://t.co/QkSzBAuZeb

[Robert Sison (@[email protected]) @robs_cse]

@MarcoGuarnier1 @cis_unimelb @UNSWCOMPUTING @buckdotly @tobycmurray @lsf37 @GernotHeiser Thanks Marco. The accepted version of our paper is now available here: https://t.co/QkSzBAuZeb

[Robert Sison (@[email protected]) @robs_cse]

Some good news: We've had a paper accepted to FM'23 on our formalisation of the prevention of microarchitectural timing channels by operating systems

(Joint work between @cis_unimelb, @UNSWCOMPUTING and Proofcraft w/ coauthors @buckdotly, @tobycmurray, @lsf37 and @GernotHeiser)

[Robert Sison (@[email protected]) @robs_cse]

Ongoing work is with @tobycmurray (@cis_unimelb) collaborating with Scott Buckley, @GernotHeiser (@UNSWCOMPUTING), and @lsf37 (Proofcraft).
Relevant prior publications:
🔖 Heiser et al '20 https://t.co/C0oxtnwcqa '19 https://t.co/5REVkTcBXy
🔖 Ge et al '19 https://t.co/Mio7OFVOgs

[Robert Sison (@[email protected]) @robs_cse]

We've deposited the Isabelle/HOL formalisation for our upcoming FM 2023 paper here: https://t.co/O5qCy6y0gD (DOI for all versions of the deposit)

[Gernot Heiser @GernotHeiser]

For the case that Twitter actually collapses or I find it is becoming incompatible with my values (both seem a real possibility), I've set up a (presently dormant) Mastodon account: https://t.co/NKo7njBMrp

[Robert Sison (@[email protected]) @robs_cse]

@astahfrom Let's leave these chumps behind

[Robert Sison (@[email protected]) @robs_cse]

I'm moving my social media activity largely to my Mastodon account on SDF's server @[email protected] (https://t.co/6gHetQErYY) and don't plan to be spending much time on Twitter any more

[Talia Ben-Ora @taliaotg]

Adviso to news outlets: It’s not ‘[name], who identifies as a trans man,’ or ‘[name] identifies as a trans man.’

It’s ‘[name] is a trans man’ or ‘[Name], who is a trans man,’

When you use ‘identifies as,’ you move confirmed information to a speculative, theoretical framework.

[Paul Biggar 🇵🇸🇮🇪 @paulbiggar]

I was once stuck at a job due to a H1B, and let me tell you it's fucking miserable.

Recruiters, please start reaching out to folks still at Twitter. They'll be unusually receptive.

Hiring someone with a H1B is *trivial*, last I heard it cost $6K and took two weeks

[Jon Bois @jon_bois]

if twitter goes away, it’s really lousy news for those of us who get paid to tweet by the cia. i mean, i put in LOTS of work. i developed this op from the ground up. they paid me $2500 per tweet. and i guess i just thought it would last forever. i don’t know, it’s just sad

[Naveed Jamali @NaveedAJamali]

Twitter has about 1200 H1B Visa workers, according to reports. Those workers do not have the flexibility to resign from their jobs at Twitter.

[Robert Sison (@[email protected]) @robs_cse]

I'll be there to stay

[Tehshik Yoon @TehshikYoon]

I mean, right, in the ideal world, nobody would feel the need to be closeted at work. This is, however, not the ideal world. Around 50% of LGBTQ academics choose not to be out at work. This proportion is similar across many work sectors.

[Tehshik Yoon @TehshikYoon]

There's a tweet I keep seeing reposted that claims that academics should disclose our privileges (gender, sexuality, nationality, socioeconomic background, etc) before announcing our accomplishments. I don't often do this, but let's unpack the claim.