<?xml version="1.0" encoding="UTF-8"?><feed xmlns="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
<title>Computer Science &amp; Engineering</title>
<link href="http://127.0.0.1/xmlui/handle/123456789/4" rel="alternate"/>
<subtitle/>
<id>http://127.0.0.1/xmlui/handle/123456789/4</id>
<updated>2026-07-27T05:22:42Z</updated>
<dc:date>2026-07-27T05:22:42Z</dc:date>
<entry>
<title>Advanced Biometric Systems: Fast Fingerprint Indexing and Data-Efficient Iris Recognition</title>
<link href="http://127.0.0.1/xmlui/handle/123456789/17619" rel="alternate"/>
<author>
<name>Prakash, Nishkal</name>
</author>
<id>http://127.0.0.1/xmlui/handle/123456789/17619</id>
<updated>2026-07-13T11:42:13Z</updated>
<published>2026-04-01T00:00:00Z</published>
<summary type="text">Advanced Biometric Systems: Fast Fingerprint Indexing and Data-Efficient Iris Recognition
Prakash, Nishkal
</summary>
<dc:date>2026-04-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>Auditability, Access Control and Redactability in Interoperable Blockchains</title>
<link href="http://127.0.0.1/xmlui/handle/123456789/17571" rel="alternate"/>
<author>
<name>Sengupta, Tirthankar</name>
</author>
<id>http://127.0.0.1/xmlui/handle/123456789/17571</id>
<updated>2026-07-08T10:46:59Z</updated>
<published>2026-05-01T00:00:00Z</published>
<summary type="text">Auditability, Access Control and Redactability in Interoperable Blockchains
Sengupta, Tirthankar
</summary>
<dc:date>2026-05-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>Blockchain Mining over IoT for Electric Vehicular Applications</title>
<link href="http://127.0.0.1/xmlui/handle/123456789/17547" rel="alternate"/>
<author>
<name>Sarkar, Kounteya</name>
</author>
<id>http://127.0.0.1/xmlui/handle/123456789/17547</id>
<updated>2026-07-07T11:23:48Z</updated>
<published>2026-06-01T00:00:00Z</published>
<summary type="text">Blockchain Mining over IoT for Electric Vehicular Applications
Sarkar, Kounteya
</summary>
<dc:date>2026-06-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>Accelerating Multi-Property Formal Verification with Intrinsic Planning</title>
<link href="http://127.0.0.1/xmlui/handle/123456789/17535" rel="alternate"/>
<author>
<name>Das, Sourav</name>
</author>
<id>http://127.0.0.1/xmlui/handle/123456789/17535</id>
<updated>2026-07-07T04:59:19Z</updated>
<published>2026-06-01T00:00:00Z</published>
<summary type="text">Accelerating Multi-Property Formal Verification with Intrinsic Planning
Das, Sourav
</summary>
<dc:date>2026-06-01T00:00:00Z</dc:date>
</entry>
</feed>
