In STOC 1999, Raz presented a (partial) function for which there is a quantum protocol communicating only O(log n) qubits, but for which any classical (randomized, bounded-error) protocol requires poly(n) bits of communication. That quantum protocol requires two rounds of communication. Ever since Raz’s paper it was open whether the same exponential separation can be achieved with a quantum pro...

WS-Business Activity specification defines two coordination protocols in order to ensure a consistent agreement on the outcome of long-running distributed applications. We use the model checker Uppaal to analyse the Business Agreement with Coordination Completion protocol type. Our analyses show that the protocol, as described in the standard specification, violates correct operation by reachin...

Communication protocol security is among the most significant challenges of Internet Things (IoT) due to wide variety hardware and software technologies involved. Moving target defense (MTD) has been adopted as an innovative strategy solve this problem by dynamically changing system properties configurations obfuscate attack surface. Nevertheless, existing work MTD primarily focuses on lower-le...