aspensmonster

Joined 15 years ago

Karma
1,605
Submissions
406
Member since
Nov 26
Electrical Engineering student. Currently working as support staff for a web hosting company. edit: Nope. Full-time student now.

edit2: Graduating in May of 2014. Finally.

edit3: Yeah. Finally graduated. Now about those student loans...

edit4(2021-01-03): Loans long done. Haven't been here in... six or seven years?

http://aspensmonster.com

[email protected] ; public key on keys.openpgp.org (a Verifying Key Server (VKS)).

[ my public key: https://keybase.io/aspensmonster; my proof: https://keybase.io/aspensmonster/sigs/bqotMpja1fdMryld2TzXlGiEXPE73DVxIM2znHtLHWc ]

This is an OpenPGP proof that connects my OpenPGP key to this Hackernews account. For details check out https://docs.keyoxide.org/advanced/openpgp-proofs/

Keyoxide: https://keyoxide.org/79895B2E0F87503F1DDE80B649765D7F0DDD9BD5

View on Hacker News

Recent submissions

Comment · 3 months ago
Isn't basically every package in Debian an upstream project?
Comment · 5 months ago
>This article is about statistics and government policy. For Nazi analogies in internet discussions, see Godwin's law.
Comment · 6 months ago
Comment · 9 months ago
They still exist. Surprisingly, most folks aren't interested in letting every newsletter and promotion know that they were seen. So a surveillance arms race ensues instead.
Comment · 1 year ago
>Very true, but again, the RFC describes a completely different threat model with much stronger guarantees. The Kagi threat model: > >- Does not provide Issuer-Client unlinkability > >- Does not provide Attester-Origin unlinkability

If the Client, Attester, and Origin are all a single party (Kagi), then it follows from that threat model that Kagi does not provide Kagi-Client unlinkability, no?

Further, this is not what Kagi has advertised in the blog post:

>What guarantees does Privacy Pass offer? > >As used by Kagi, Privacy Pass tokens offer various security properties (§ 3.3, of [2]).

Kagi are explicitly stating that they provide the guarantees of § 3.3. They even use more plain language:

>Generation-redemption unlinkability: Kagi cannot link the tokens presented during token redemption (i.e. during search) with any specific token generation phase. *This means that Kagi will not be able to tell who it is serving search results to*, only that it is someone who presented a valid Privacy Pass token. > >Redemption-redemption unlinkability: Kagi cannot link the tokens presented during two different token redemptions. This means that *Kagi will not be able to tell from tokens alone whether two searches are being performed by the same user*.

As it stands, Kagi cannot meaningfully guarantee those things, because the starting point is the client providing a unique identifier to Kagi.

>That said, I will point out that this Issuer-Client unlinkability issue can be solved by introducing a 3rd-party service or when Kagi starts accepting Monero payments.

Sure, but at that point, there is no need for any of the Privacy Pass infrastructure in the first place.

>Also completely valid, but also not something Kagi claims to guarantee.

I disagree. Their marketing here is "we can't link your searches to your identity, because cryptography."

>They believe the extension should be responsible for guarding attainer issuance partitioning. I don't think it's implemented currently but it shouldn't be too hard, especially since they currently use only 1 keypair.

If Kagi is going to insist on being the attester and on requiring uniquely identifiable information as the basis for issuing tokens, then yes, the only way to even try to confirm that they're not acting maliciously is to keep track not only of distinct keypairs, but also of public and private metadata blocks within the tokens, and to share all of that data (in a trustworthy manner, of course) with other confirmed Kagi users. And if a user doesn't understand all of the nuances that would entail, or all of the nuances just discussed here, and instead just trusts the Kagi-written client implicitly? Then it's all just privacy theater.

Comment · 1 year ago
>3. CLIENT uses it's identity to request token from ISSUER/ATTESTER

The ISSUER and ATTESTER are different roles. As previously quoted, "Clients explicitly trust Attesters to perform attestation correctly and in a way that does not violate their privacy." The RFC is explicit that, when all of the roles are held by the same entity, the attestation should not rely on unique identifiers. But that's exactly what a session cookie is.

>You can see how the ISSUER/ATTESTER can identify the client as the source of the "anonymous request" to the ORIGIN because the ISSUER, ATTESTER and ORIGIN are the same entity, and therefore it can use a timing attack to correlate the request to the ORIGIN (1.) with the request to the ISSUER/ATTESTER (3.).

No timing or spacing attack is needed here. If I have to provide Kagi with a valid session cookie in order to get the tokens, then they already have a unique identifier for me. There is no guarantee that Kagi is not keeping a 1-to-1 mapping of session cookies to ISSUER keypairs, or that Kagi could not, if compelled, establish distinct ISSUER keypairs for specific session cookies.

Comment · 1 year ago
Seeing as I'm not getting any traction in the fediverse (https://tenforward.social/@aspensmonster/113999217587309328), maybe I can ask here instead.

=================================

From their blog:

>As standardized in [2 - 4], the Privacy Pass protocol is able to accommodate many “architectures.” Our deployment model follows the original architecture presented by Davidson et al. [1], called “Shared Origin, Attester, Issuer” in § 4 of [2].

From [2] RFC 9576 § 3.3 "Privacy Goals and Threat Model" :

>Clients explicitly trust Attesters to perform attestation correctly and in a way that does not violate their privacy. In particular, this means that Attesters that may be privy to private information about Clients are trusted to not disclose this information to non-colluding parties. Colluding parties are assumed to have access to the same information; see Section 4 for more about different deployment models and non-collusion assumptions. However, Clients assume that Issuers and Origins are malicious.

And From [2] RFC 9576 § 4.1 "Shared Origin, Attester, Issuer" :

>As a result, attestation mechanisms that can uniquely identify a Client, e.g., requiring that Clients authenticate with some type of application-layer account, are not appropriate, as they could lead to unlinkability violations.

Womp womp :(

This is not genuinely private in any meaningful sense of the term. Kagi plays the role of all three parties, and even relies on the very thing section 4.1 says is not appropriate: to use mechanisms that can uniquely identify a client. They utilize a client's session token: "In the case of Kagi’s users, this can be done by presenting their Kagi session cookie to the server."

Frankly, that blog post is disingenuous at best, and malicious at worst.

=================================

I want to be wrong here. Where am I wrong? What am I missing?

Comment · 2 years ago
Comment · 2 years ago
>The signatures on the Actas are digital, not ink.

Yes, each acta has a digital signature, gathered ahead of time. It is there to compare against the inked signatures signed by the members of the mesa, after confirmation that the sampled ballots converge toward the computer's results. The ballots are the source of truth here, not what the computer receipt says. And the link between the ballots and the receipt are the inked signatures (or fingerprints) of the members of the mesa.

>What's more likely, that the opposition forged tens of thousands of receipts in less than a day, or a dictator reported fake results to remain in power?

The opposition need not have been the one to hack the machines. A third party could have done that. And again, the opposition haven't released "forged" receipts, merely receipts that have not actually been certified. How they have obtained those receipts is an open question at this point.

>Receipts, mind you, copies of which are given to each witness from the top-three political parties, at any point now could have been called into question but not a single counter example has been shown.

90% of their receipts lack any inked certification from the presidents, secretaries, members, witnesses, or operators of the mesas on the ground. That should be garnering an enormous amount of skepticism from a crowd that is normally adamant about not trusting computers during elections.

Comment · 2 years ago
Long time no see, HN! As a techie-turned-communist I'm vested in this story, so I decided to follow along:

https://x.com/aspensmonster/status/1818859550516129814

I was able to follow their guide to scrape the resultadosconvzla.com website, and ended up with ~22,000 JPGs of receipts. A random sampling of them shows that, for the most part, they contain no actual inked signatures and/or fingerprints that would be present on the receipts signed by the poll workers. Some of the receipts do have signatures and/or fingerprints, but not most of them. Most of them look like this:

https://octodon.social/deck/@aspensmonster/11288491762219446...

I.e., it looks like they asked a voting machine to print out a receipt, and it did. Then, they scanned the receipt in and put it online. The important part though, where individual poll workers scattered across hundreds of stations all over the country all sign their receipts in ink, for comparison against the computerized signatures gathered beforehand, does not appear to have happened for most of the receipts that the opposition has in possession.

I'm frustrated that the Maduro government has released highly improbable numbers. And I'm frustrated that it (certainly appears that) the opposition doesn't have nearly as much validated data as they claim to have. My gut tells me that the CNE got hacked, that the results are thus untrustworthy, and that they'll need to re-run the election, preferably by pen and paper. But the Maduro administration didn't want to face up to that fact and so, made up numbers instead -__-

Comment · 3 years ago
I turned it off as soon as it was debuted.
Comment · 5 years ago
Impressed with SmashStash by iNSANE.
Comment · 12 years ago
And it seems I'm still slowbanned/hellbanned :D I'm thinking that something like /r/undelete for HN could be really useful.
Comment · 12 years ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton