13 citations · 39 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.OH2011
An Efficient Approach towards Mitigating Soft Errors Risks
Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin +1
Smaller feature size, higher clock frequency and lower power consumption are of core concerns of today's nano-technology, which has been resulted by continuous downscaling of CMOS…
cs.CR2011★ 13 cited
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…