We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical systems of recursive equations for streams. We give logical rules that describe the communication within a net and the dynamic creation of components, channels and rearrangement of the net structure. Such net transformat...

A new family of protocols, based on communication over human-based side channels, permit secure pairing or group formation in ways that no party has to prove its name. These protocols are particularly suitable for authentication on mobile phones where PKI or trusted third party solutions are not practical to cover all scenarios. Rather, individuals are able to hook up devices in their possessio...

The statistical theory of language translation is used to compare how a literary character speaks different audiences by diversifying two important linguistic communication channels: the “sentences channel” and “interpunctions channel”. can “measure” author shapes speaking audiences, modulating deep-language parameters. To show its power, we have applied corpus Maria Valtorta, an Italian mystic...

Suppose that a transmitter Alice potentially wishes to communicate with receiver Bob over an adversarially jammed binary channel. An active adversary James eavesdrops on their communication symmetric channel (BSC( q)), and may maliciously flip (up to) certain fraction p of transmitted bits based his observations. We consider setting where the must be simultaneously covert as well reliable, i.e....