A sample idea: Publish crypto would reject the security of assigning a private key to a remote party & then forgetting about the private key at the transmitter end. But if you are in an emergency situation where sneaker net is too slow, the dominant infrastructure is an enemy, & you can use crypto to validate a chain of software/private key capability evolution in your communicating party, then maybe this is the best sort of temporary solution in some lightning game contexts.

One of the areas where formal methods can help is for analyzing security models where an eavesdropper has access to various parties keyboard or screen at various times with some given probability. That is the actual situation.

Another important/related issue for analysis/modeling/engineering: communicating sensors in a local security network. The big security picture is huge: factory production of various sorts of sensors, wireless network gear, shipping, configuration, ongoing usage/maintenance in various situations…and there are many, many sorts of different attacks that are of concern because they damage the overall functin of convenient security/monitoring/alerts that is relatively free of both type I and type II errors, even when attacked by spies. Using a proof logic to reason about such a network might be prohibitively difficult. Instead, we might settle for flexible & accurate modeling that can be tested against a wide variety of simulated attack conditions and random events. How should we test, for example, the proposition that the installed, configured network provides a secure “deadman’s switch”, at least with respect to it’s own continued functioning and alert capability?

Wir freuen uns über die Auszeichnung mit dem #Podcastpreis für #Allesgesagt. Welches ist Ihr bisheriger Lieblingsmoment im unendlichen Podcast mit @ch_amend und @Jochen?https://t.co/fjfOp0Pwiv pic.twitter.com/9XYJmy6N2f

— ZEIT ONLINE (@zeitonline) June 10, 2021

Marxist government is a bad idea, while Marxist sociological & economic analysis often provides lots of valuable insights. Contrast the motives of Heine cult in a war of tribes from different areas vs. clandestine conquest vs. clandestine govt. administration of an area vs. outside government mafia vs. world military government. The relationships to law, privacy, procreation, egalitarianism, and many other issues will shift for the cult leaders as a function of those different strategic situations. The Marxist perspective will tend to explain it.

Grichuk homers, Blue Jays beat sloppy White Sox

MORE: https://t.co/BqvQMvYt09 pic.twitter.com/XceOkfFgAy

— TSN (@TSN_Sports) June 10, 2021

Mr. Costanza Sr. has acquired the AI package.