Author:
Mohammed Shayan,Bhattacharjee Sukanta,Song Yong-Ak,Chakrabarty Krishnendu,Karri Ramesh
Publisher
Springer International Publishing
Reference20 articles.
1. S. S. Ali, M. Ibrahim, O. Sinanoglu, K. Chakrabarty, and R. Karri. Security implications of cyberphysical digital microfluidic biochips. In International Conference Computer Design, pages 483–486, 2015.
2. S. S. Ali, M. Ibrahim, O. Sinanoglu, K. Chakrabarty, and R. Karri. Microfluidic encryption of on-chip biochemical assays. In IEEE Biomed. Circuits Systems Conference, pages 152–155, 2016.
3. S. Bhattacharjee, S. Chatterjee, A. Banerjee, T. Ho, K. Chakrabarty, and B. B. Bhattacharya. Adaptation of biochemical protocols to handle technology-change for digital microfluidics. IEEE Transactions on on CAD of Integrated Circuits and Systems, 36(3):370–383, 2017.
4. L. M. de Moura and N. Bjørner. Z3: An efficient SMT solver. In Proceedings of TACAS, pages 337–340, [Z3 is available at https://github.com/Z3Prover/z3], 2008.
5. R. B. Fair. Digital microfluidics: is a true lab-on-a-chip possible? Microfluid Nanofluid, 3(3):245–281, 2007.