Cited By
View all- Baccar SRouached MVerborgh RAbid M(2018)Declarative Web services composition using proofsService Oriented Computing and Applications10.1007/s11761-018-0234-412:3-4(371-389)Online publication date: 1-Dec-2018
- Junod PRinaldini JWehrli JMichielin JFalcarin PWyseur B(2015)Obfuscator-LLVMProceedings of the 1st International Workshop on Software Protection10.5555/2821429.2821434(3-9)Online publication date: 16-May-2015
- Liu DZic J(2010)Policy-based attestation of service behavior for establishing rigorous trustProceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I10.5555/1947725.1947749(240-255)Online publication date: 25-Oct-2010
- Show More Cited By