asciilifeform: '...4-way handshake was mathematically proven as secure... the properties that were proven in formal analysis of the 4-way handshake remain true. However, the problem is that the proofs do not model key installation. Put differently, the formal models did not define when a negotiated key should be installed. In practice, this means the same key can be installed multiple times, thereby resetting nonces and replay counters used by the
asciilifeform: 'The photo above was posted recently to JQP Facebook as a means of commenting on the exorbitant waste of the Air Force’s multiple annual gatherings of its grand poobahs. Their gatherings, nicknamed “Corona” conferences, drain money, time, focus, and manpower from an already depleted Air Force in order to swaddle the service’s generals in the comfort of Earthly deification as they absorb formal dinners and presentations adding
mircea_popescu: anyway. it's unclear to me pron can be judged through formalmeans.
asciilifeform: 'proceeding from informal to formal by formalmeans' (TM)
