Security Issues in Component-based Design

Abstract We propose a behavioural extension of the concept of interface of components. We aim to uniformly reason about correctness properties of both closed and open component-based systems. The characterizing feature of our approach is that we perform a local analysis over finite fragments of interactions naturally modeling mobility and coordination aspects. We present a semi-automatic technique that reduces the verification of security properties of protocols to the verification of correctness in component-based systems

On the Educational Curriculum in Finance and Technology

Recent technological developments have enabled a wide array of new applications in financial markets, e.g. big data, cloud computing, artificial intelligence, blockchain, cryptocurrencies, peer-to-peer lending, crowdfunding, and robo-advising, inter alia. While traditionally comprising of computer programs and other technology used to support or enable banking and financial services, the new fintech sector is often seen as enabling transformation of the financial industry. A more moderate and critical view suggests that for the full transformative potential of fintech to be enabled, there is a need for an updated educational curriculum that balances knowledge and understanding of finance and technology. A curriculum that provides a skill portfolio in the two core components and complements them with applied knowledge can support the enabling forces which will render fintech as a true opportunity for the financial service industry and for society as a whole. We attempt a scholarship inquiry into the educational curriculum in finance and technology, aiming to inform this modern educational agenda. We review skills shortages, as identified by firms and experts, and examine the state-of-the art by some of the first educational programs in fintech