15 research outputs found
Deductive Verification of Cryptographic Software
Get PDFWe report on the application of an off-the-shelf verification platform to the RC4 stream cipher cryptographic software implementation (as available in the openSSL library), and introduce a deductive verification technique based on self-composition for proving the absence of error propagation
Vacinação contra influenza: construção de um instrumento educativo para maior adesão dos profissionais de enfermagem
No full textInjuries caused by freshwater stingrays in the Tapajós River Basin: a clinical and sociodemographic study
No full textHow to determine leg dominance: The agreement between self-reported and observed performance in healthy adults
No full textTheoretical and Experimental Studies of New Modified Isoflavonoids as Potential Inhibitors of Topoisomerase I from Plasmodium falciparum
No full textBiofilm and planktonic microbial communities in highly acidic soil (pH < 3) in the Soos National Nature Reserve, Czech Republic
No full textCan photobiomodulation therapy be an alternative to pharmacological therapies in decreasing the progression of skeletal muscle impairments of mdx mice?
No full text
