April 2020 - nexa - server-nexa.polito.it

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Giovanni Biscuolo

Marco Ciurcina <ciurcina(a)studiolegale.it> writes: > Nasce un nuovo consorzio internazionale che include DP3T > https://twitter.com/mikarv/status/1251044870367690753?s=21 > m.c. --8<---------------cut here---------------start------------->8--- More #DP3T open-source code for truly privacy-preserving, decentralised Bluetooth contact tracing. Today, our i'national consortium releases alpha Android/iOS apps on GitHub for the world to test & improve. Please do! Android: https://github.com/DP-3T/dp3t-app-android … iOS: https://github.com/DP-3T/dp3t-app-ios …pic.twitter.com/jR6TcUZ6ko 08:08 - 17 Apr 2020 --8<---------------cut here---------------end--------------->8--- [...] -- Giovanni Biscuolo

April 17, 2020

Re: [nexa] Coronavirus, scelta l'app per il tracciamento dei contagi: si chiamerà Immuni

by J.C. DE MARTIN

Credo che Maurizi si riferisse ad un articolo precedente della stessa giornalista, quando si sapeva che c'erano due app in finale, ma ancora nessuna scelta definitiva. L'affidamento è stato firmato dal Commissario non molte ore fa, a quanto mi risulta. jc On 17/04/2020 10:32, Roberto Resoli wrote: > Il 17/04/20 08:22, J.C. DE MARTIN ha scritto: >> *Coronavirus, scelta l'app per il tracciamento dei contagi: si chiamerà >> Immuni* >> / >> //Progettata da Bending Spoons: il commissario Arcuri ha firmato >> l'ordinanza. // >> //Funziona con il Bluetooth e non sarà obbligatoria/ >> >> di GIOVANNA VITALE >> >> https://www.repubblica.it/politica/2020/04/16/news/coronavirus_scelta_l_app… > L'estremo allarme di Stefania Maurizi che consiglia il medesimo articolo: > > https://threadreaderapp.com/thread/1250346576242855937.html > > rob > _______________________________________________ > nexa mailing list > nexa(a)server-nexa.polito.it > https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa

April 17, 2020

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Giovanni Biscuolo

Marco Ciurcina <ciurcina(a)studiolegale.it> writes: > PEPP-PT ha rimosso DP3T > https://twitter.com/mikarv/status/1250850682904760320?s=12 a favore di archivio e per i pigri come me, aggiungo il testo --8<---------------cut here---------------start------------->8--- Michael Veale ha ritwittato Michael Veale Remember this? PEPP-PT has (without notice) removed #DP3T's decentralised, privacy-preserving approach from its site. PEPP-PT stands now ONLY for an intransparent, unpublished centralised database of Bluetooth social graph data, prone to leakage and function creep. https://twitter.com/mikarv/status/1246901232737845250 … Michael Veale ha aggiunto, Michael Veale @mikarv Important on COVID BT proximity tracing The 'PEPP-PT' protocol is not settled. Our decentralised privacy design (DP-3T) prevents co-optation, function creep. Centralised alternatives do not. Do not support PEPP-PT w/o making support explicitly CONDITIONAL on decentralisation. Mostra questa discussione 11:16 - 16 apr 2020 --8<---------------cut here---------------end--------------->8--- [...] -- Giovanni Biscuolo

April 17, 2020

Re: [nexa] Coronavirus, scelta l'app per il tracciamento dei contagi: si chiamerà Immuni

by Roberto Resoli

Il 17/04/20 08:22, J.C. DE MARTIN ha scritto: > *Coronavirus, scelta l'app per il tracciamento dei contagi: si chiamerà > Immuni* > / > //Progettata da Bending Spoons: il commissario Arcuri ha firmato > l'ordinanza. // > //Funziona con il Bluetooth e non sarà obbligatoria/ > > di GIOVANNA VITALE > > https://www.repubblica.it/politica/2020/04/16/news/coronavirus_scelta_l_app… L'estremo allarme di Stefania Maurizi che consiglia il medesimo articolo: https://threadreaderapp.com/thread/1250346576242855937.html rob

April 17, 2020

Re: [nexa] Immuni - software libero

by Giovanni Biscuolo

Buongiorno nexiani siccome per mio interesse ho voluto approfondire la questione, perché i dettagli come sempre sono _determinanti_ per comprendere davvero cosa è successo (alla faccia dei giornaloni :-S ), condivido con voi quanto ho capito... innanzi tutto: grazie Bending Spoons! (non li conosco, il mio è un grazie totalmente disinteressato) Immuni è "in licenza d'uso aperta" e - AFAIU - la licenza del software sarà acquisita (a titolo gratuito e perpetuo) dallo stato italiano. Non mi è ancora chiaro in cosa costituirà esattamente l'appalto di servizio (gratuito) di cui si parla: la fornitura dell'infrastruttura server in hosting? Dettaglio non da poco IMHO. Infine, a 'sto punto fuori il sorgente, no? :-D Seguono alcuni dettagli di merito per chi volesse approfindire. Cordiali saluti, Giovanni Executive summary dal comunicato stampa [1] --8<---------------cut here---------------start------------->8--- 16 Aprile 2020 Il Commissario straordinario per l'emergenza Covd-19, Domenico Arcuri, ha firmato l'Ordinanza n. 10/2020 relativa alla stipula del contratto di concessione gratuita della licenza d’uso sul software di contact tracing e di appalto di servizio gratuito con la società Bending Spoons S.p.a. --8<---------------cut here---------------end--------------->8--- Executive summary dal testo dell'ordinanza 10/2020 [2] --8<---------------cut here---------------start------------->8--- Bending Spoons S.p.a., esclusivamente per spirito di solidarietà e, quindi, al solo scopo di fornire un proprio contributo, volontario e personale, utile per fronteggiare l’emergenza da COVID-19 in atto, ha manifestato la volontà di concedere in licenza d’uso aperta, gratuita e perpetua, al Commissario straordinario per l’attuazione e il coordinamento delle misure di contenimento e contrasto dell’emergenza epidemiologica COVID-19 e alla Presidenza del Consiglio dei ministri, il codice sorgente e tutte le componenti applicative facenti parte del sistema di contact tracing già sviluppate, nonché, per le medesime ragioni e motivazioni e sempre a titolo gratuito, ha manifestato la propria disponibilità a completare glisviluppi informatici che si renderanno necessari per consentire la messa in esercizio del sistema nazionale di contact tracingdigitale; --8<---------------cut here---------------end--------------->8--- Seguono i dettagli... questo il testo dell'ordinanza n. 10/2020 --8<---------------cut here---------------start------------->8--- RITENUTO che il contact tracing o tracciatura dei contatti è una delle azioni di sanità pubblica utilizzate per la prevenzione e contenimento della diffusione di molte malattie infettive e rappresenta un elemento importante all’interno di una strategia sostenibile post-emergenza e di ritorno alla normalità; [...] CONSIDERATO che un software di contact tracingcostituisce, ai sensi dell'art. 122 del citato del decreto-legge 17 marzo 2020, n. 18, un bene strumentale particolarmente utile a contenere e contrastare l’emergenza epidemiologica COVID-19, da acquisire ai sensi della citata disposizione unitamente ad ogni attività o servizio necessario per lo sviluppo del software stesso; [...] CONSIDERATO che, all’esito delle valutazioni effettuate dal Gruppo di lavoro e comunicate al Ministro per l’innovazione tecnologica e la digitalizzazione, è stata selezionata la soluzione denominata “Immuni”, proposta dalla società Bending Spoons S.p.a., ritenuta più idonea per la sua capacità di contribuire tempestivamente all’azione di contrasto del virus, per la conformità al modello europeo delineato dal Consorzio PEPP-PT e per le garanzie che offre per il rispetto della privacy; [...] VISTA la nota del 10 aprile 2020, n. 0004553 P-1.1 con la quale, nel condividere le ragioni manifestate a fondamento dell’utilità della proposta per contrastare l’emergenza sanitaria in atto, anchein ragione della necessità di rapida realizzazione della stessa, il Presidente del Consiglio dei ministri ha chiesto al Commissario straordinario per l’attuazione e il coordinamento delle misure di contenimento e contrasto dell’emergenza epidemiologica COVID-19 di procedere rapidamente, nell’ambito dei poteri conferiti dall’articolo 122 del decreto-legge 17 marzo 2020, n. 18, a valutare le modalità con cui dare attuazione alla proposta di implementazione del sistema di contact tracingdigitale, formulata dai due Ministri; [...] CONSIDERATO che la società Bending Spoons S.p.a., esclusivamente per spirito di solidarietà e, quindi, al solo scopo di fornire un proprio contributo, volontario e personale, utile per fronteggiare l’emergenza da COVID-19 in atto, ha manifestato la volontà di concedere in licenza d’uso aperta, gratuita e perpetua, al Commissario straordinario per l’attuazione e il coordinamento delle misure di contenimento e contrasto dell’emergenza epidemiologica COVID-19 e alla Presidenza del Consiglio dei ministri, il codice sorgente e tutte le componenti applicative facenti parte del sistema di contact tracing già sviluppate, nonché, per le medesime ragioni e motivazioni e sempre a titolo gratuito, ha manifestato la propria disponibilità a completare glisviluppi informatici che si renderanno necessari per consentire la messa in esercizio del sistema nazionale di contact tracingdigitale; RILEVATO che la stessa società ha dichiarato di essere l’esclusiva titolare del diritto d’autore e di ogni altro diritto di proprietà intellettuale sul codice sorgente e sulle altre componenti applicative facenti parte del sistema di contact tracing già sviluppateche intende concedere in licenza al Commissario straordinario per l’attuazione e il coordinamento delle misure di contenimento e contrasto dell’emergenza epidemiologica COVID-19 e alla Presidenza del Consiglio dei ministri; RILEVATO che la stessa società ha dichiarato di essere l’esclusiva titolare del diritto d’autore e di ogni altro diritto di proprietà intellettuale sul codice sorgente e sulle altre componenti applicative facenti parte del sistema di contact tracing già sviluppateche intende concedere in licenza al Commissario straordinario per l’attuazione e il coordinamento delle misure di contenimento e contrasto dell’emergenza epidemiologica COVID-19 e alla Presidenza del Consiglio dei ministri; DISPONE di procedere alla stipula del contratto di concessione gratuita della licenza d’uso sul softwaredi contact tracinge di appalto di servizio gratuito con la società Bending Spoons S.p.a. --8<---------------cut here---------------end--------------->8--- [1] http://www.governo.it/it/dipartimenti/commissario-straordinario-lemergenza-… [2] http://www.governo.it/sites/new.governo.it/files/CSCovid19_Ord_10-2020_txt.… (in PDF :-S ) -- Giovanni Biscuolo

April 17, 2020

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Marco Ciurcina

Nasce un nuovo consorzio internazionale che include DP3T https://twitter.com/mikarv/status/1251044870367690753?s=21 m.c. In data venerdì 17 aprile 2020 09:05:33 CEST, Marco Ciurcina ha scritto: > PEPP-PT ha rimosso DP3T > https://twitter.com/mikarv/status/1250850682904760320?s=12 > m.c. > > In data venerdì 17 aprile 2020 08:26:43 CEST, Stefano Zacchiroli ha scritto: > > Sto solo cercando di separare le analisi tecniche dalle decisioni > > politiche che su di essere devono essere basate. E mi sembra stia > > diventando sempre più difficile, anche su questa lista. > > > > Nessun esperto di sicurezza prenderebbe un audit della versione > > precedente di un protocollo (o anche di una sua implementazione) come > > applicabile alla successiva, at face value, perché ogni modifica anche > > minima può cambiare tutto, sia nel bene che nel male. Quindi porto > > all'attenzione della lista che quell'analisi non corrisponde al > > protocollo attuale, perché il messaggio di Enrico non lo precisava e mi > > sembra invece un'informazione importante. > > > > Sullo stato geopolitico delle cose penso tu abbia ragione, ma è un > > dibattito diverso, anche se ovviamente collegato. > > > > Ciao > > > > On Fri, Apr 17, 2020 at 08:10:02AM +0200, Antonio Casilli wrote: > > > Ciao Stefano, certo che l'analisi di Vaudenay è datata 8 aprile, ma per > > > ora a mia conoscenza non è che le sue conclusioni siano state inficiate > > > dall'introduzione del cuckoo filter (che l'ultimo post di Enrico ha > > > abbastanza mazzolato per inciso) > > > > > > In generale, a giudicare dalla cattiva fede e dagli attacchi ad personam > > > di cui sono oramai oggetto da parte di DP3Tini su Twitter e altrove, ho > > > come l'impressione che i giochi siano fatti e che prevalga l'attitudine > > > "mah nessun sistema è perfetto, smettiamo di correre dietro a ogni fesso > > > che ci fa una critica". Il che, vista la posta in gioco, è un'attitudine > > > abbastanza malsana. Spero di sbagliarmi. Cheers, > > > ---a > > > > > > ----- Mail original ----- > > > De: "Stefano Zacchiroli" <zack(a)upsilon.cc> > > > À: "nexa" <nexa(a)server-nexa.polito.it> > > > Envoyé: Jeudi 16 Avril 2020 20:48:35 > > > Objet: Re: [nexa] un'analisi tecnica di DP-3T molto spinta > > > > > > On Thu, Apr 16, 2020 at 07:14:57PM +0200, Enrico Nardelli wrote: > > > > È di Serge Vaudenay, dell'EPFL, un'esperto di crittografia francese > > > > > > FWIW, questo studio è sulla versione precedente del protocollo, non su > > > quella attuale. > > > > > > (E con questo non voglio implicare niente di più, ne niente di meno di > > > questa osservazione fattuale. Se non che per protocolli crittografici > > > che cambiano velocemente è necessario avere audit che cambiano > > > altrettanto velocemente.) > > _______________________________________________ > nexa mailing list > nexa(a)server-nexa.polito.it > https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa

April 17, 2020

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Stefano Zacchiroli

Ecco. Adesso si che ci "divertiamo". Si stava meglio quando si stava peggio... On April 17, 2020 9:05:33 AM GMT+02:00, Marco Ciurcina <ciurcina(a)studiolegale.it> wrote: >PEPP-PT ha rimosso DP3T >https://twitter.com/mikarv/status/1250850682904760320?s=12 >m.c. > > >In data venerdì 17 aprile 2020 08:26:43 CEST, Stefano Zacchiroli ha >scritto: >> Sto solo cercando di separare le analisi tecniche dalle decisioni >> politiche che su di essere devono essere basate. E mi sembra stia >> diventando sempre più difficile, anche su questa lista. >> >> Nessun esperto di sicurezza prenderebbe un audit della versione >> precedente di un protocollo (o anche di una sua implementazione) come >> applicabile alla successiva, at face value, perché ogni modifica >anche >> minima può cambiare tutto, sia nel bene che nel male. Quindi porto >> all'attenzione della lista che quell'analisi non corrisponde al >> protocollo attuale, perché il messaggio di Enrico non lo precisava e >mi >> sembra invece un'informazione importante. >> >> Sullo stato geopolitico delle cose penso tu abbia ragione, ma è un >> dibattito diverso, anche se ovviamente collegato. >> >> Ciao >> >> On Fri, Apr 17, 2020 at 08:10:02AM +0200, Antonio Casilli wrote: >> > Ciao Stefano, certo che l'analisi di Vaudenay è datata 8 aprile, ma >per >> > ora a mia conoscenza non è che le sue conclusioni siano state >inficiate >> > dall'introduzione del cuckoo filter (che l'ultimo post di Enrico ha >> > abbastanza mazzolato per inciso) >> > >> > In generale, a giudicare dalla cattiva fede e dagli attacchi ad >personam >> > di cui sono oramai oggetto da parte di DP3Tini su Twitter e >altrove, ho >> > come l'impressione che i giochi siano fatti e che prevalga >l'attitudine >> > "mah nessun sistema è perfetto, smettiamo di correre dietro a ogni >fesso >> > che ci fa una critica". Il che, vista la posta in gioco, è >un'attitudine >> > abbastanza malsana. Spero di sbagliarmi. Cheers, >> > ---a >> > >> > ----- Mail original ----- >> > De: "Stefano Zacchiroli" <zack(a)upsilon.cc> >> > À: "nexa" <nexa(a)server-nexa.polito.it> >> > Envoyé: Jeudi 16 Avril 2020 20:48:35 >> > Objet: Re: [nexa] un'analisi tecnica di DP-3T molto spinta >> > >> > On Thu, Apr 16, 2020 at 07:14:57PM +0200, Enrico Nardelli wrote: >> > > È di Serge Vaudenay, dell'EPFL, un'esperto di crittografia >francese >> > >> > FWIW, questo studio è sulla versione precedente del protocollo, non >su >> > quella attuale. >> > >> > (E con questo non voglio implicare niente di più, ne niente di meno >di >> > questa osservazione fattuale. Se non che per protocolli >crittografici >> > che cambiano velocemente è necessario avere audit che cambiano >> > altrettanto velocemente.) -- Sent from my mobile phone. Please excuse my brevity and top-posting.

April 17, 2020

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Marco Ciurcina

PEPP-PT ha rimosso DP3T https://twitter.com/mikarv/status/1250850682904760320?s=12 m.c. In data venerdì 17 aprile 2020 08:26:43 CEST, Stefano Zacchiroli ha scritto: > Sto solo cercando di separare le analisi tecniche dalle decisioni > politiche che su di essere devono essere basate. E mi sembra stia > diventando sempre più difficile, anche su questa lista. > > Nessun esperto di sicurezza prenderebbe un audit della versione > precedente di un protocollo (o anche di una sua implementazione) come > applicabile alla successiva, at face value, perché ogni modifica anche > minima può cambiare tutto, sia nel bene che nel male. Quindi porto > all'attenzione della lista che quell'analisi non corrisponde al > protocollo attuale, perché il messaggio di Enrico non lo precisava e mi > sembra invece un'informazione importante. > > Sullo stato geopolitico delle cose penso tu abbia ragione, ma è un > dibattito diverso, anche se ovviamente collegato. > > Ciao > > On Fri, Apr 17, 2020 at 08:10:02AM +0200, Antonio Casilli wrote: > > Ciao Stefano, certo che l'analisi di Vaudenay è datata 8 aprile, ma per > > ora a mia conoscenza non è che le sue conclusioni siano state inficiate > > dall'introduzione del cuckoo filter (che l'ultimo post di Enrico ha > > abbastanza mazzolato per inciso) > > > > In generale, a giudicare dalla cattiva fede e dagli attacchi ad personam > > di cui sono oramai oggetto da parte di DP3Tini su Twitter e altrove, ho > > come l'impressione che i giochi siano fatti e che prevalga l'attitudine > > "mah nessun sistema è perfetto, smettiamo di correre dietro a ogni fesso > > che ci fa una critica". Il che, vista la posta in gioco, è un'attitudine > > abbastanza malsana. Spero di sbagliarmi. Cheers, > > ---a > > > > ----- Mail original ----- > > De: "Stefano Zacchiroli" <zack(a)upsilon.cc> > > À: "nexa" <nexa(a)server-nexa.polito.it> > > Envoyé: Jeudi 16 Avril 2020 20:48:35 > > Objet: Re: [nexa] un'analisi tecnica di DP-3T molto spinta > > > > On Thu, Apr 16, 2020 at 07:14:57PM +0200, Enrico Nardelli wrote: > > > È di Serge Vaudenay, dell'EPFL, un'esperto di crittografia francese > > > > FWIW, questo studio è sulla versione precedente del protocollo, non su > > quella attuale. > > > > (E con questo non voglio implicare niente di più, ne niente di meno di > > questa osservazione fattuale. Se non che per protocolli crittografici > > che cambiano velocemente è necessario avere audit che cambiano > > altrettanto velocemente.)

April 17, 2020

NYT: An Army of Virus Tracers Takes Shape in Massachusetts

by J.C. DE MARTIN

From The New York Times: *An Army of Virus Tracers Takes Shape in Massachusetts* /Asian countries have invested heavily in digital contact tracing, which uses technology to warn people when they have been exposed to the coronavirus. Massachusetts is using an old-fashioned means: people./ https://www.nytimes.com/2020/04/16/us/coronavirus-massachusetts-contact-tra…

April 17, 2020

Re: [nexa] un'analisi tecnica di DP-3T molto spinta

by Stefano Zacchiroli

Sto solo cercando di separare le analisi tecniche dalle decisioni politiche che su di essere devono essere basate. E mi sembra stia diventando sempre più difficile, anche su questa lista. Nessun esperto di sicurezza prenderebbe un audit della versione precedente di un protocollo (o anche di una sua implementazione) come applicabile alla successiva, at face value, perché ogni modifica anche minima può cambiare tutto, sia nel bene che nel male. Quindi porto all'attenzione della lista che quell'analisi non corrisponde al protocollo attuale, perché il messaggio di Enrico non lo precisava e mi sembra invece un'informazione importante. Sullo stato geopolitico delle cose penso tu abbia ragione, ma è un dibattito diverso, anche se ovviamente collegato. Ciao On Fri, Apr 17, 2020 at 08:10:02AM +0200, Antonio Casilli wrote: > Ciao Stefano, certo che l'analisi di Vaudenay è datata 8 aprile, ma per ora a mia conoscenza non è che le sue conclusioni siano state inficiate dall'introduzione del cuckoo filter (che l'ultimo post di Enrico ha abbastanza mazzolato per inciso) > > In generale, a giudicare dalla cattiva fede e dagli attacchi ad personam di cui sono oramai oggetto da parte di DP3Tini su Twitter e altrove, ho come l'impressione che i giochi siano fatti e che prevalga l'attitudine "mah nessun sistema è perfetto, smettiamo di correre dietro a ogni fesso che ci fa una critica". Il che, vista la posta in gioco, è un'attitudine abbastanza malsana. Spero di sbagliarmi. > Cheers, > ---a > > ----- Mail original ----- > De: "Stefano Zacchiroli" <zack(a)upsilon.cc> > À: "nexa" <nexa(a)server-nexa.polito.it> > Envoyé: Jeudi 16 Avril 2020 20:48:35 > Objet: Re: [nexa] un'analisi tecnica di DP-3T molto spinta > > On Thu, Apr 16, 2020 at 07:14:57PM +0200, Enrico Nardelli wrote: > > È di Serge Vaudenay, dell'EPFL, un'esperto di crittografia francese > > FWIW, questo studio è sulla versione precedente del protocollo, non su > quella attuale. > > (E con questo non voglio implicare niente di più, ne niente di meno di > questa osservazione fattuale. Se non che per protocolli crittografici > che cambiano velocemente è necessario avere audit che cambiano > altrettanto velocemente.) > > -- > Stefano Zacchiroli . zack(a)upsilon.cc . upsilon.cc/zack . . o . . . o . o > Computer Science Professor . CTO Software Heritage . . . . . o . . . o o > Former Debian Project Leader & OSI Board Director . . . o o o . . . o . > « the first rule of tautology club is the first rule of tautology club » > _______________________________________________ > nexa mailing list > nexa(a)server-nexa.polito.it > https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa > _______________________________________________ > nexa mailing list > nexa(a)server-nexa.polito.it > https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa -- Stefano Zacchiroli . zack(a)upsilon.cc . upsilon.cc/zack . . o . . . o . o Computer Science Professor . CTO Software Heritage . . . . . o . . . o o Former Debian Project Leader & OSI Board Director . . . o o o . . . o . « the first rule of tautology club is the first rule of tautology club »

April 17, 2020