Author

Saad Elmansori

Concordia University, Canada

2 articles in our journals

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessConditioned Slicing for Efficient Multiway Decision Graphs Model-CheckerSaad ElmansoriIntegrating formal verification techniques into the hardware design process provides the means to rigorously prove critical properties. However, most automatic verification techniques, such as model checking, are only effectively applicable to designs of limited sizes due to the state explosion problem. The Multiway Decision Graphs (MDG) method is an efficient method to define hardware designs into more abstract environments; however, … …Journal of Computer Science, Vol. 9, Issue 3 · 23 Apr 2013 · 6,368 accessesView PDF Cite

Research ArticleOpen accessGeneralization of Boolean Functions Properties to Functions Defined over GF(p)Saad Elmansori, B. E. EsamProblem statement: Traditionally, cryptographic applications designed on hardware have always tried to take advantage of the simplicity of implementation functions over GF(p), p = 2, to reduce costs and improve performance. On the contrast, functions defined over GF(p); p > 2, possess far better cryptographic properties than GF(2) functions. Approach: We generalize some of the previous results on cryptographic Boolean … …Journal of Computer Science, Vol. 8, Issue 6 · 13 Mar 2012 · 7,436 accessesView PDF Cite