@Romolo Manfredini: relativamente al problema dei lettori di carte Oberthur, ti andrebbe di commentare direttamente nel bug scrivendo quello che hai scritto qui (però ovviamente in inglese)? Lo farei io, ma alla fine non essendo un utilizzatore e non avendo i dispositivi non sarei in grado di dire molto di più se mi facessero domande.
il rischio, altrimenti, è che si risolve per un tipo di lettore mentre per l'altro no.
Aggiunto commento in inglese al bug report.
Comunque vorrei chiarire:
un conto è il lettore, un conto la smart card.
I lettori sono più o meno standard, poi per ogni smart card Oberthur, Athena, Siemens etc etc esiste una libreria pcks11 che fa da interfaccia fra firefox e la smart card.
(bit4xpki.dll legge sia oberthur che athena)
Il problema non è ne a livello di hardware ne a livello di libreria, ma di come firefox usa la libreria per leggere la smart card.
A mio giudizio vi è qualche errore nella gestione dei mutex dovuti ai timing delle letture.