Come funziona Velcrypt: il modello di sicurezza

Questa pagina spiega, in parole semplici, cosa succede a foto, video e documenti quando li metti in Velcrypt, e dove finisce la protezione. È scritta per chi vuole capire il progetto prima di affidargli qualcosa di personale.

In breve

Velcrypt è un’app per iPhone che conserva file privati in casseforti cifrate sul dispositivo. Apri una cassaforte disegnando una sequenza su una griglia di 5×5 punti. Quella sequenza non viene mai salvata da nessuna parte: passa invece attraverso una funzione di derivazione lenta che produce una chiave, ed è quella chiave a proteggere il contenuto della cassaforte.

Tutto avviene sull’iPhone stesso. Velcrypt non ha account, server né caricamenti, quindi non esiste altrove una copia della tua cassaforte o delle tue chiavi. È la sua forza e anche il suo limite principale: se la sequenza viene dimenticata o il telefono va perso, la cassaforte non si può recuperare.

Dalla sequenza alla chiave

La sequenza

Una sequenza è una linea continua che passa per almeno 6 dei 25 punti, con almeno un cambio di direzione. Si consigliano sequenze più lunghe, da 8 a 12 punti, perché ogni punto in più moltiplica il numero di sequenze possibili che un aggressore dovrebbe provare. Trovi i pro e i contro in sequenza, PIN o Face ID, e come funziona il blocco nella pagina sullo sblocco a sequenza.

PBKDF2 con un salt per dispositivo

Quando finisci di disegnare, Velcrypt converte la successione di punti in una chiave usando PBKDF2-HMAC-SHA512 con almeno 600.000 iterazioni. PBKDF2 è una funzione di derivazione delle chiavi: una ricetta volutamente lenta e ripetibile che trasforma un segreto (la tua sequenza) in una chiave crittografica. La lentezza è il punto. Per te derivare una chiave richiede una frazione di secondo, ma chi prova milioni di sequenze deve pagare quel costo milioni di volte.

La derivazione aggiunge anche un salt, un valore casuale generato una sola volta sul tuo dispositivo e conservato nel portachiavi di iOS. Poiché il salt è unico per il tuo iPhone, due persone che disegnano per caso la stessa sequenza ottengono chiavi completamente diverse, e le tabelle precalcolate di “sequenze comuni → chiavi” diventano inutili.

Una chiave master per cassaforte

Ogni cassaforte ha una propria chiave master: 256 bit casuali generati dal generatore di numeri casuali sicuro del sistema quando la cassaforte viene creata. È la chiave master a proteggere davvero i file della cassaforte. Viene conservata solo in forma protetta (avvolta), sigillata con la chiave derivata dalla tua sequenza. Senza la sequenza giusta, la chiave master non può essere aperta.

Questa separazione conta. La chiave master è davvero casuale, quindi la sua robustezza non dipende da quanto è facile ricordare la tua sequenza, e mantiene ogni cassaforte crittograficamente indipendente da tutte le altre sullo stesso telefono.

Una chiave per ogni file

Dalla chiave master, Velcrypt deriva una chiave separata per ogni file usando HKDF, una funzione standard per derivare più chiavi indipendenti da un unico segreto robusto. Se la chiave di un file venisse mai esposta, non rivelerebbe né la chiave master né le chiavi degli altri file.

Come vengono cifrati i file

AES-256-GCM tramite Apple CryptoKit

Ogni foto, video e documento viene cifrato con AES-256-GCM, usando il framework CryptoKit di Apple invece di codice crittografico fatto in casa. AES-256-GCM è una cifratura autenticata: mantiene riservato il contenuto e rileva le manomissioni. Se anche un solo bit di un file cifrato viene alterato, la decifratura fallisce invece di produrre dati corrotti o manipolati. Per approfondire, vedi la cifratura AES-256 spiegata e la pagina sulla cifratura.

La Protezione dati di iOS come secondo livello

Oltre alla cifratura di Velcrypt, i file delle casseforti vengono scritti con la Protezione dati di iOS impostata sulla classe di protezione completa. Con questa classe, iOS mantiene i file cifrati con una chiave disponibile solo mentre l’iPhone è sbloccato. Quando il telefono è bloccato, nemmeno il sistema operativo può leggerli. Questo livello è fornito da Apple ed è indipendente dalle chiavi di Velcrypt, quindi un aggressore dovrebbe superarli entrambi.

Perché una sequenza sconosciuta apre una cassaforte vuota

La maggior parte delle app confronta la tua password con qualcosa di salvato (un hash, un verificatore, una “risposta corretta”) e poi ti dice password errata. Velcrypt volutamente non lo fa.

Non c’è un elenco di casseforti né un valore salvato che confermi se una sequenza è “corretta”. Quando disegni una sequenza, Velcrypt deriva una chiave e prova ad aprire la cassaforte corrispondente. Se nessuna cassaforte corrisponde, l’app apre semplicemente una cassaforte nuova e vuota per quella sequenza. Per chi tiene in mano il telefono, una sequenza mai usata e una cassaforte reale ma vuota hanno lo stesso aspetto.

Questo ti dà la negabilità plausibile: la possibilità di affermare in modo credibile che non c’è altro da vedere, perché nulla nell’app dimostra il contrario. Puoi tenere una cassaforte esca con foto qualunque e una cassaforte separata per ciò che è davvero privato. La pagina sulle casseforti nascoste e le nostre guide sulle casseforti esca e sulla negabilità plausibile entrano nei dettagli.

Un effetto pratico: se ricordi male la sequenza anche di un solo punto, finirai in una cassaforte vuota invece di vedere un errore. È voluto, non è un bug.

Blocco e selettore app

Velcrypt si blocca automaticamente quando passa in background, dopo un ritardo che puoi configurare. Quando si blocca, le chiavi della cassaforte vengono rimosse dalla memoria e la sequenza va disegnata di nuovo. I contenuti delle casseforti sono anche nascosti nel selettore app di iOS, così un’occhiata alle app recenti non mostra l’anteprima di una foto privata. Vedi blocco automatico per le impostazioni.

Non c’è sblocco con Face ID o Touch ID, per scelta. Un volto o un dito possono essere usati senza il tuo consenso, mentre dormi o sotto pressione. Una sequenza esiste solo nella tua memoria.

Nessuna rete, nessun account, nessun backup

Velcrypt funziona completamente offline. Non c’è registrazione, indirizzo email, server né caricamento dei contenuti, e non vengono raccolte statistiche su ciò che conservi. La pagina offline, senza account spiega cosa significa in pratica.

Nella prima versione, i dati delle casseforti sono anche esclusi dai backup iCloud e sul computer (Finder). Così i tuoi file cifrati restano fuori dai server di Apple e da qualsiasi computer con cui sincronizzi, ma con una conseguenza concreta: se il tuo iPhone viene perso, si rompe o viene inizializzato, le casseforti se ne vanno con lui. Un’opzione di backup cifrato è in programma, senza una data.

Il modello di minaccia in sintesi

Minaccia	Protetto?	Note
Qualcuno scorre la tua libreria di Foto	Sì	Gli elementi che importi e poi elimini da Foto (compreso Eliminati di recente) sono solo in Velcrypt.
Qualcuno prende il telefono sbloccato e apre Velcrypt	Sì	Serve la tua sequenza; una sbagliata mostra una cassaforte vuota.
Qualcuno cerca di dimostrare che hai altre casseforti	In gran parte	Nessun elenco, nessun messaggio di “sequenza errata”; l’app non mostra il numero di casseforti.
Furto di un iPhone bloccato	Sì	Protezione dati di iOS più la cifratura AES-256-GCM di Velcrypt.
Attacco a forza bruta sulla sequenza da file estratti	Rallentato	PBKDF2 con oltre 600.000 iterazioni e salt per dispositivo; una sequenza lunga fa la differenza.
Violazione di un account cloud	Sì	I dati non vengono caricati e nella v1 sono esclusi dai backup iCloud.
Manomissione dei file cifrati	Rilevata	L’autenticazione di AES-256-GCM rifiuta i dati modificati.
Qualcuno ti guarda mentre disegni la sequenza	No	Vedi sotto.
Malware o dispositivo con jailbreak	No	Vedi sotto.
Sequenza dimenticata o telefono perso	No	Nessun recupero possibile.

Cosa Velcrypt non protegge

Ogni strumento di sicurezza ha dei limiti, e dovresti conoscere quelli di Velcrypt prima di affidartici.

• Sguardi indiscreti. Se qualcuno ti vede disegnare la sequenza, di persona o tramite una telecamera, può aprire quella cassaforte. Disegnala al riparo da sguardi e preferisci una sequenza che non somigli a una lettera o a una forma semplice.
• Essere costretto a sbloccare. Velcrypt non può impedire che qualcuno ti costringa a disegnare una sequenza. Una cassaforte esca può aiutare; una sequenza di emergenza (in arrivo, Premium) è in programma per aprire una cassaforte scelta e rimuovere in silenzio l’accesso alle altre.
• Un telefono consegnato con la cassaforte aperta. Mentre una cassaforte è sbloccata, chiunque tenga il telefono vede ciò che vedi tu. Bloccala prima di passare il telefono a qualcuno.
• Dispositivi compromessi o con jailbreak e malware. Un software in grado di leggere lo schermo, registrare i tocchi o ispezionare la memoria delle app su un dispositivo compromesso può aggirare qualsiasi cifratura a livello di app.
• Screenshot o foto dello schermo. Velcrypt non può impedire a un’altra fotocamera di fotografare il tuo display.
• Copie altrove. L’importazione copia una foto; l’originale resta in Foto finché non lo elimini, e poi rimane in Eliminati di recente per circa 30 giorni. Possono esistere copie anche in Foto di iCloud, nelle app di chat, nelle email o sul telefono di qualcun altro. Segui eliminare gli originali dopo l’importazione.
• Telefono perso o sequenza dimenticata. In entrambi i casi i dati sono persi. Non esistono frasi di recupero né reimpostazioni. Vedi hai dimenticato la sequenza?.
• Rilevare che usi Velcrypt. L’icona dell’app è visibile e strumenti forensi potrebbero vedere che Velcrypt contiene dati cifrati e all’incirca quanti. Velcrypt non pretende di nasconderlo: nasconde solo il numero di casseforti e il loro contenuto.
• Sequenze deboli o facili da indovinare. Una sequenza corta, o a forma di L, Z o quadrato, è molto più facile da indovinare. Prova una forma simile con il verifica robustezza sequenza, mai quella vera.

Revisione indipendente

Velcrypt si basa su componenti standard e ampiamente studiati e sulle librerie crittografiche di Apple, non su algoritmi fatti in casa. Tuttavia, un buon progetto non equivale a un progetto verificato. Velcrypt non è stato sottoposto a un audit indipendente. Accoglieremmo volentieri una revisione di sicurezza esterna e, se ci sarà, ne pubblicheremo qui l’esito.

Glossario

• AES-256-GCM è una modalità di cifratura simmetrica che usa una chiave a 256 bit e autentica i dati, così ogni manomissione viene rilevata in fase di decifratura.
• PBKDF2 (Password-Based Key Derivation Function 2) è uno standard che trasforma un segreto come una password o una sequenza in una chiave ripetendo molte volte una funzione di hash, rendendo lenti i tentativi.
• Salt è un valore casuale combinato con il tuo segreto prima della derivazione, così la stessa sequenza produce chiavi diverse su dispositivi diversi.
• HKDF (HMAC-based Key Derivation Function) è un metodo standard per derivare più chiavi indipendenti da un’unica chiave robusta.
• Chiave master è la chiave casuale a 256 bit che appartiene a una cassaforte e protegge tutte le chiavi dei suoi file.
• Negabilità plausibile è la proprietà per cui nulla nell’app può dimostrare l’esistenza di altre casseforti, così puoi mostrare in modo credibile una cassaforte senza rivelare le altre.